Ubuntu
coq package

lp:ubuntu/trusty/coq

Created by James Westby on 2013-10-18 and last modified on 2014-01-19

Members of Ubuntu branches can upload to this branch. Log in for directions.

No branches dependent on this one.

34. By Stéphane Glondu on 2014-01-19: * New upstream release
* Update README.Debian (Closes: #680248)
33. By Stéphane Glondu on 2013-12-03: Upload to unstable
32. By Stéphane Glondu on 2013-05-08: * New upstream release
* Upload to unstable
31. By Stéphane Glondu on 2012-06-06: Recompile with camlp5 6.06 (no changes)
30. By Micah Gersten on 2012-05-15: No change rebuild for new camlp5 ABI
29. By Stéphane Glondu on 2012-03-27: * New upstream release
* Replace proofgeneral-coq by proofgeneral in dependencies
* Switch debian/copyright to format 1.0
* Bump Standards-Version to 3.9.3
28. By Colin Watson on 2012-01-24: Rebuild with ocamlopt on armhf.
27. By Stéphane Glondu on 2011-12-25: * New upstream release
- remove all patches (applied upstream)
26. By Colin Watson on 2011-11-19: Rebuild for OCaml 3.12.1.
25. By Colin Watson on 2011-11-11: Rebuild for new camlp5 ABI.

This branch contains Public information

Everyone can see this information.