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

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

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

* Upload to unstable
* Update Homepage

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

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

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

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

Fix compilation with camlp5 6.05 and coq 8.3pl4

13. By Stéphane Glondu on 2012-03-06

Recompile with camlp5 6.04 (no changes)

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

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

New upstream release

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

9. By Stéphane Glondu on 2011-04-24

Build theories only when explicitly asked (fixes FTBFS on armel as
a side-effect)