lp:ubuntu/trusty/ssreflect

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

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

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

19. By Stéphane Glondu on 2013-12-06

* Upload to unstable
* Update Homepage

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

* Bump debhelper compat level to 8
* Bump Standards-Version to 3.9.4
* Upload to unstable

17. By Colin Watson on 2013-05-09

Rebuild for new OCaml ABIs.

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

* New upstream release
* Put debian/copyright in format 1.0
* Bump Standards-Version to 3.9.3

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

Fix compilation with camlp5 6.05 and coq 8.3pl4

14. By Andreas Moog on 2012-01-08

Rebuild against new Coq

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

* Rebuild with Coq 8.3pl3
  - cherry-pick patch from coq-contrib to fix FTBFS with Coq 8.3pl3

12. By Stéphane Glondu on 2011-11-22

New upstream release

11. By Colin Watson on 2011-11-19

Rebuild for OCaml 3.12.1.