lp:debian/jessie/coq-float

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

20. By Stéphane Glondu on 2014-07-30

Recompile with coq 8.4pl4

19. By Stéphane Glondu on 2014-01-20

* Recompile with coq 8.4pl3
* Bump Standards-Version to 3.9.5 (no changes)
* Update Vcs-*

18. By Stéphane Glondu on 2013-12-07

Recompile with OCaml 4.01.0

17. By Stéphane Glondu on 2013-05-08

* New upstream release
* Use format version 1.0 in debian/copyright
* Bump Standards-Version to 3.9.4
* Bump debhelper compat level to 9

16. By Stéphane Glondu on 2012-06-06

Recompile with camlp5 6.06 (no changes)

15. By Stéphane Glondu on 2012-03-30

Recompile with coq 8.3pl4 and camlp5 6.05 (no changes)

14. By Stéphane Glondu on 2012-03-06

Recompile with camlp5 6.04 (no changes)

13. By Stéphane Glondu on 2012-01-09

* New upstream release
  - remove all patches (applied upstream)

12. By Stéphane Glondu on 2011-12-25

Rebuild with Coq 8.3pl3 (no source changes)

11. By Stéphane Glondu on 2011-11-03

* Recompile with OCaml 3.12.1 (no changes)
* Bump Standards-Version to 3.9.2 (no changes)