Ubuntu
coq package

Branches for Breezy

Name		Status	Last Modified	Last Commit
lp://staging/ubuntu/breezy/coq		1 Development	2009-07-30 19:55:25 UTC 2009-07-30	3. * Rebuilding with OCaml 3.08.3 is nec... Author: Samuel Mimram Revision Date: 2005-03-22 17:40:08 UTC * Rebuilding with OCaml 3.08.3 is necessary because of the former dependency on ocaml-base-nox-3.08. * Removed the dependency on ocaml-base-nox-3.08 since ocamlrun does not seem to be necessary, even on non-native archs. * Cleaner handling of -arch and -indep targets. * Added utf8.v in coq and utf8.vo to coq-libs since utf8 can be useful for non-coqide users too. * Using dh_desktop to register .desktop files.