lp:ubuntu/trusty-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

13. By Stéphane Glondu on 2014-01-20

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

12. By Matthias Klose on 2013-12-23

Rebuild for ocaml-4.01.

11. By Stéphane Glondu on 2013-12-05

New upstream release

10. 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

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

Recompile with camlp5 6.06 (no changes)

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

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

7. By Stéphane Glondu on 2012-03-05

Recompile with camlp5 6.04 (no changes)

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

Rebuild with Coq 8.3pl3 (no source changes)

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

4. By Stéphane Glondu on 2011-05-01

Upload to unstable