lp:debian/coq

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

24. By Stéphane Glondu on 2015-10-13

Fix compilation with OCaml 4.02

23. By Stéphane Glondu on 2014-07-27

* New upstream release (Closes: #755953)
* Switch debian/copyright to Format 1.0
* Bump Standards-Version to 3.9.5
* Bump debhelper compat level to 9

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

* New upstream release
* Update README.Debian (Closes: #680248)

21. By Stéphane Glondu on 2013-12-03

Upload to unstable

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

* New upstream release
* Upload to unstable

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

Recompile with camlp5 6.06 (no changes)

18. By Stéphane Glondu on 2012-03-27

* New upstream release
* Replace proofgeneral-coq by proofgeneral in dependencies
* Switch debian/copyright to format 1.0
* Bump Standards-Version to 3.9.3

17. By Stéphane Glondu on 2012-03-04

Recompile with camlp5 6.04 (no changes)

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

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

15. By Stéphane Glondu on 2011-11-02

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