lp:debian/wheezy/coq

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

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

Recompile with camlp5 6.06 (no changes)

17. 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

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

Recompile with camlp5 6.04 (no changes)

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

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

14. 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)

13. By Stéphane Glondu on 2011-04-19

* New upstream release
* Add patch to fix thumb2-related build error (Closes: #622882)
* Upload to unstable

12. By Stéphane Glondu on 2011-02-21

* Add Fix-build-with-camlp5-6.02.1.patch
* Bump versioned build-dependency on liblablgtk2-ocaml-dev to ease
  lablgtk2 transition

11. By Stéphane Glondu on 2010-07-02

* New upstream release
  - compiles with OCaml 3.12 (Closes: #585452)
  - remove 0001-Update-for-why-2.19.patch (applied upstream)
  - add 0002-Remove-dependency-to-Unix-from-module-Profile.patch
* Use dh with overrides
* debian/control:
  - remove Stefano and Remi from Uploaders
  - replace Conflicts with Breaks
  - bump Standards-Version to 3.9.0
* Switch source package format to 3.0 (quilt)

10. By Stéphane Glondu on 2010-02-22

Add Disable-micromega-tests.patch (workaround for bug #570920)

9. By Stéphane Glondu on 2009-12-03

[ Stefano Zacchiroli ]
* debian/control: fix typo in long description (Closes: #557458)

[ Stéphane Glondu ]
* Switch to dh-ocaml 0.9