-
why (2.13-1) unstable; urgency=low
* New upstream release.
* Removed install.dpatch, integrated upstream.
why (2.11-2) unstable; urgency=low
* Fix install target and JCLIB value in the Makefile, closes: #478501.
* Update maintainer and uploders fields in debian/control.
* Fix missing dependency (cpulimit).
* Reinclude gwhy.sh
* Add configure.dpatch to correctly detect ocamlopt.
* Add myself to uploaders.
-- Ubuntu Archive Auto-Sync <email address hidden> Thu, 29 May 2008 13:29:46 +0100
-
why (2.11-1) unstable; urgency=low
* New upstream release.
* Updated watch file.
why (2.10.dfsg.2-1) unstable; urgency=low
[ Stefano Zacchiroli ]
* add vcs-* fields
[ Samuel Mimram ]
* New upstream release.
* Correctly detects ocamldep, closes: #458267.
* Updated watchfile.
why (2.10.dfsg-1) unstable; urgency=low
* New upstream release.
* Add dpatch support.
* Added install.dpatch to correctly install gwhy.
why (2.04.dfsg-4) unstable; urgency=low
* Rebuild with latest version of coq.
-- Ubuntu Archive Auto-Sync <email address hidden> Fri, 02 May 2008 02:33:48 +0100
-
why (2.04.dfsg-3) unstable; urgency=low
* Rebuild with OCaml 3.10.
* Build-depend on camlp4, closes: #441500.
why (2.04.dfsg-2) unstable; urgency=low
* Build-depend on libfloat-coq and enable float support, closes: #430878.
why (2.04.dfsg-1) unstable; urgency=low
* New upstream release.
-- Ubuntu Archive Auto-Sync <email address hidden> Wed, 24 Oct 2007 08:10:40 +0100