Package "coq-theories"

Name:	coq-theories
Description:	proof assistant for higher-order logic (theories)
Latest version:	8.3.pl4+dfsg-1
Release:	precise (12.04)
Level:	base
Repository:	universe
Head package:	coq
Homepage:	http://coq.inria.fr/

Links

Raw Package Information

All versions of this package

List of files in package

Repository home page

Download "coq-theories"

All arch deb package

APT INSTALL

Other versions of "coq-theories" in Precise

No other version of this package is available in the Precise release.

Changelog

Version: 8.3.pl4+dfsg-1	2012-04-03 12:07:00 UTC
`coq (8.3.pl4+dfsg-1) unstable; urgency=low * New upstream release * Replace proofgeneral-coq by proofgeneral in dependencies * Switch debian/copyright to format 1.0 * Bump Standards-Version to 3.9.3 -- Stéphane Glondu Tue, 27 Mar 2012 07:59:07 +0200`

Version: DELETED	2012-03-06 10:09:37 UTC
No changelog for deleted or moved packages.

Version: 8.3.pl3+dfsg-1build1	2012-01-24 14:03:22 UTC
`coq (8.3.pl3+dfsg-1build1) precise; urgency=low * Rebuild with ocamlopt on armhf. -- Colin Watson Tue, 24 Jan 2012 11:59:56 +0000`
Source diff to previous version

Version: 8.3.pl3+dfsg-1	2012-01-07 14:05:36 UTC
`coq (8.3.pl3+dfsg-1) unstable; urgency=low * New upstream release - remove all patches (applied upstream) -- Stéphane Glondu Sun, 25 Dec 2011 13:46:09 +0100`
Source diff to previous version

Version: 8.3.pl2+dfsg-2build2	2011-12-18 16:08:56 UTC
`coq (8.3.pl2+dfsg-2build2) precise; urgency=low * Rebuild for OCaml 3.12.1. -- Colin Watson Sat, 19 Nov 2011 13:26:01 +0000`

About - Send Feedback to @ubuntu_updates