lp:ubuntu/trusty/aac-tactics

Created by James Westby and last modified
Get this branch:
bzr branch lp:ubuntu/trusty/aac-tactics
Members of Ubuntu branches can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Ubuntu branches
Status:
Development

Recent revisions

17. By Stéphane Glondu

* Recompile with coq 8.4pl3
* Bump Standards-Version to 3.9.5 (no changes)
* Update Vcs-*

16. By Matthias Klose

Rebuild for ocaml-4.01.

15. By Stéphane Glondu

New upstream release

14. By Stéphane Glondu

* New upstream release
* Use format version 1.0 in debian/copyright
* Bump Standards-Version to 3.9.4
* Upload to unstable

13. By Colin Watson

Rebuild for new OCaml ABIs.

12. By Stéphane Glondu

Recompile with camlp5 6.06 (no changes)

11. By Stéphane Glondu

Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)

10. By Andreas Moog

Rebuild with new Coq.

9. By Stéphane Glondu

Rebuild with Coq 8.3pl3 (no source changes)

8. By Colin Watson

Rebuild for OCaml 3.12.1.

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
This branch contains Public information 
Everyone can see this information.

Subscribers