diff options
| author |  Samuel Mimram <samuel.mimram@ens-lyon.org> | 2005-03-25 12:37:44 +0000 |
|---|---|---|
| committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2005-03-25 12:37:44 +0000 |
| commit | 14231a6b9f78637e23885e9854254b84259c1149 (patch) | |
| tree | 3d80027bb57196f2672393bc6eb11274deae9fad /debian/changelog | |
| parent | 3b182903454caa27cd34fc38c594970a800dc9a1 (diff) | |
Updated to OCaml 3.08.3 + small fixes.
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index dca117be..f2a5d0c6 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,16 @@ +coq (8.0pl2-2) unstable; urgency=medium + + * 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. + + -- Samuel Mimram <smimram@debian.org> Tue, 22 Mar 2005 17:40:08 +0100 + coq (8.0pl2-1) unstable; urgency=low * New upstream release. |