-
coq-float (1:8.4-3) unstable; urgency=medium
* Recompile with coq 8.4pl3
* Bump Standards-Version to 3.9.5 (no changes)
* Update Vcs-*
-- Stéphane Glondu <email address hidden> Mon, 20 Jan 2014 07:44:07 +0100
-
coq-float (1:8.4-2build1) trusty; urgency=medium
* No-change rebuild.
-- Matthias Klose <email address hidden> Tue, 24 Dec 2013 12:40:18 +0100
-
coq-float (1:8.4-2) unstable; urgency=low
* Recompile with OCaml 4.01.0
-- Stéphane Glondu <email address hidden> Sat, 07 Dec 2013 10:06:37 +0100
-
coq-float (1:8.4-1) unstable; urgency=low
* New upstream release
* Use format version 1.0 in debian/copyright
* Bump Standards-Version to 3.9.4
* Bump debhelper compat level to 9
-- Stéphane Glondu <email address hidden> Wed, 08 May 2013 23:29:32 +0200