Ubuntu
coq package

lp:ubuntu/wily/coq

Wily (15.10)
wily

Created by Ubuntu Package Importer on 2015-05-05 and last modified on 2015-05-05

Get this branch:: bzr branch lp:ubuntu/wily/coq

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

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: Ubuntu branches

Status:: Development

Recent revisions

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

»

Branch metadata

Branch format:: Branch format 7

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

Stacked on:: lp:ubuntu/trusty/coq

This branch contains Public information

Everyone can see this information.

Subscribers

Ubuntu branches