lp:ubuntu/saucy-proposed/aac-tactics

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

14. By Stéphane Glondu on 2013-05-09

* 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 on 2013-05-09

Rebuild for new OCaml ABIs.

12. By Stéphane Glondu on 2012-06-09

Recompile with camlp5 6.06 (no changes)

11. By Stéphane Glondu on 2012-04-01

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

10. By Andreas Moog on 2012-01-08

Rebuild with new Coq.

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

Rebuild with Coq 8.3pl3 (no source changes)

8. By Colin Watson on 2011-11-19

Rebuild for OCaml 3.12.1.

7. By Colin Watson on 2011-11-12

Rebuild for new OCaml library ABIs.

6. By Stéphane Glondu on 2011-11-03

* Recompile with OCaml 3.12.1 (no changes)
* Bump Standards-Version to 3.9.2 (no changes)

5. By Adam Conrad on 2011-08-24

Rebuild to pick up ocaml fixes on armel.