Ubuntu
coq package

lp:ubuntu/trusty-proposed/coq

Trusty (14.04)
trusty-proposed

Created by Ubuntu Package Importer on 2013-12-04 and last modified on 2014-01-19

Get this branch:: bzr branch lp:ubuntu/trusty-proposed/coq

Members of Ubuntu branches can upload to this branch. Log in for directions.

Branch merges

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: Ubuntu branches

Review team:: Ubuntu Development Team

Status:: Mature

Recent revisions

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)
14. By Stéphane Glondu on 2011-04-19: * New upstream release
* Add patch to fix thumb2-related build error (Closes: #622882)
* Upload to unstable
13. 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

»

Branch metadata

Branch format:: Branch format 7

Repository format:: Bazaar repository format 2a (needs bzr 1.16 or later)

Stacked on:: lp:ubuntu/utopic/coq

This branch contains Public information

Everyone can see this information.

Subscribers

Ubuntu branches