diff options
Diffstat (limited to 'distrib/debian/changelog')
| -rw-r--r-- | distrib/debian/changelog | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/distrib/debian/changelog b/distrib/debian/changelog index 6e0a1efc3..727d5264c 100644 --- a/distrib/debian/changelog +++ b/distrib/debian/changelog @@ -1,8 +1,9 @@ coq (7.4-1) unstable; urgency=low * New upstream version. + * Should now build native on ppc (ocaml bug being fixed) - -- Judicael Courant <Judicael.Courant@lri.fr> Fri, 31 Jan 2003 16:51:03 +0100 + -- Judicael Courant <Judicael.Courant@lri.fr> Wed, 25 Jun 2003 09:49:06 +0200 coq (7.3.1-1) unstable; urgency=low |