Ubuntu
coq package

Branches for Warty

Name		Status	Last Modified	Last Commit
lp://staging/ubuntu/warty/coq		1 Development	2009-07-30 19:55:04 UTC 2009-07-30	3. * Added build-dependency on ocaml-bes... Author: Ralf Treinen Revision Date: 2004-04-09 18:03:41 UTC * Added build-dependency on ocaml-best-compilers, check for opt compilers in the configure-stamp target of debian/rules. Thanks to Mike Furr for the patch (closes: #242761). * Converted changelog to UTF-8.