Ubuntu
coq package

Branches for Dapper

Name		Status	Last Modified	Last Commit
lp://staging/ubuntu/dapper/coq		2 Mature	2009-07-30 19:55:36 UTC 2009-07-30	5. * Added ocaml309.dpatch patch to comp... Author: Samuel Mimram Revision Date: 2005-11-21 19:52:53 UTC * Added ocaml309.dpatch patch to compile cleanly with OCaml 3.09, closes: #340185. * Removed recommends on coq-doc which is not in main anymore. * Updated standards version to 3.6.2, no changes needed.