-
coq (8.2.pl2+dfsg-1) unstable; urgency=low
* New upstream release
- compiles with OCaml 3.12 (Closes: #585452)
- remove 0001-Update-for-why-2.19.patch (applied upstream)
- add 0002-Remove-dependency-to-Unix-from-module-Profile.patch
* Use dh with overrides
* debian/control:
- remove Stefano and Remi from Uploaders
- replace Conflicts with Breaks
- bump Standards-Version to 3.9.0
* Switch source package format to 3.0 (quilt)
-- Stéphane Glondu <email address hidden> Fri, 02 Jul 2010 15:25:15 +0200
-
coq (8.2.pl1+dfsg-6) unstable; urgency=low
* Add Disable-micromega-tests.patch (workaround for bug #570920)
-- Stéphane Glondu <email address hidden> Mon, 22 Feb 2010 10:41:15 +0100
-
coq (8.2.pl1+dfsg-4) unstable; urgency=low
[ Stefano Zacchiroli ]
* debian/control: fix typo in long description (Closes: #557458)
[ Stéphane Glondu ]
* Switch to dh-ocaml 0.9
-- Stéphane Glondu <email address hidden> Thu, 03 Dec 2009 11:54:58 +0100
-
coq (8.2.pl1+dfsg-3) unstable; urgency=low
* Update README.Debian (Closes: #538398)
* Add 0001-Update-for-why-2.19.patch
* debian/control:
- update my e-mail address and remove DMUA
- add why to Suggests
- add quilt to Build-Depends
- update Standards-Version to 3.8.3 (no changes)
* Update README.source to reflect use of quilt
-- Stéphane Glondu <email address hidden> Sat, 29 Aug 2009 16:58:45 +0200
-
coq (8.2.pl1+dfsg-2) unstable; urgency=low
* During validation of stdlib, call coqchk without -silent to avoid
timeout on buildds because of lack of output
-- Stephane Glondu <email address hidden> Sun, 05 Jul 2009 12:51:15 +0200
-
coq (8.2-1+dfsg-1) unstable; urgency=low
* New Upstream Version
* Use variables and ocamlinit rule from dh-ocaml in rules
* Added coqvars.mk helper for coq-related packages, and remove
/usr/lib/coq/abi (its contents is now it the COQ_ABI variable)
* Remove dependency on dpatch
* Add some missing Conflicts and Replaces in coq and libcoq-ocaml-dev
(Closes: #517107)
* Add missing dependency for coqide.byte (no longer compiled in
custom mode): liblablgtk2-ocaml
* Rebuild with OCaml 3.11
-- Stephane Glondu <email address hidden> Fri, 27 Feb 2009 13:31:30 +0100
-
coq (8.1.pl3+dfsg-1) unstable; urgency=low
[ Stefano Zacchiroli ]
* fix vcs-svn field to point just above the debian/ dir
[ Samuel Mimram ]
* New upstream release.
* Makefile should now be compatible with dash, closes: #459050.
* Updated watch file.
-- Samuel Mimram <email address hidden> Fri, 04 Jan 2008 13:21:43 +0000
