: Code : coq-float package : Debian

Debian
coq-float package

Name	Status	Last Modified	Last Commit
lp:debian/coq-float	1 Development	2015-10-14 11:37:12 UTC 2015-10-14	21. Recompile with OCaml 4.02.3 Author: Stéphane Glondu Revision Date: 2015-10-14 11:37:12 UTC Recompile with OCaml 4.02.3
lp:debian/stretch/coq-float	1 Development	2015-05-26 23:28:52 UTC 2015-05-26	20. Recompile with coq 8.4pl4 Author: Stéphane Glondu Revision Date: 2014-07-30 08:59:29 UTC Recompile with coq 8.4pl4
lp:debian/jessie/coq-float	1 Development	2014-07-30 08:59:29 UTC 2014-07-30	20. Recompile with coq 8.4pl4 Author: Stéphane Glondu Revision Date: 2014-07-30 08:59:29 UTC Recompile with coq 8.4pl4
lp:debian/wheezy/coq-float	1 Development	2012-06-06 22:59:40 UTC 2012-06-06	16. Recompile with camlp5 6.06 (no changes) Author: Stéphane Glondu Revision Date: 2012-06-06 22:59:40 UTC Recompile with camlp5 6.06 (no changes)
lp:debian/squeeze/coq-float	1 Development	2010-07-03 15:51:20 UTC 2010-07-03	8. * Rebuild with Coq 8.2pl2 * Update de... Author: Stéphane Glondu Revision Date: 2010-07-03 15:51:20 UTC * Rebuild with Coq 8.2pl2 * Update debian/watch * Bump Standards-Version to 3.9.0 (no changes) * Switch source package format to 3.0 (quilt)
lp:debian/lenny/coq-float	2 Mature	2009-08-15 07:40:39 UTC 2009-08-15	4. [ Stefano Zacchiroli ] * add vcs-* fi... Author: Samuel Mimram Revision Date: 2008-01-19 16:52:13 UTC [ Stefano Zacchiroli ] * add vcs-* fields [ Samuel Mimram ] * Rebuild with latest version of coq.