lp:debian/jessie/coq
Created by
Ubuntu Package Importer
and last modified
- Get this branch:
- bzr branch lp:debian/jessie/coq
Members of
Ubuntu branches
can upload to this branch. Log in for directions.
Branch information
- Owner:
- Ubuntu branches
- Status:
- Development
Recent revisions
- 22. By Stéphane Glondu
-
* 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 - 17. By Stéphane Glondu
-
* New upstream release
* Replace proofgeneral-coq by proofgeneral in dependencies
* Switch debian/copyright to format 1.0
* Bump Standards-Version to 3.9.3 - 14. By Stéphane Glondu
-
* Recompile with OCaml 3.12.1 (no changes)
* Bump Standards-Version to 3.9.2 (no changes) - 13. By Stéphane Glondu
-
* 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:debian/coq