Package "libcoq-ocaml-dev"
Name: | libcoq-ocaml-dev |
Description: |
development libraries and tools for Coq |
Latest version: | 8.3.pl4+dfsg-1 |
Release: | precise (12.04) |
Level: | base |
Repository: | universe |
Head package: | coq |
Homepage: | http://coq.inria.fr/ |
Links
Download "libcoq-ocaml-dev"
Other versions of "libcoq-ocaml-dev" 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
-- 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
-- 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 |