From 0da99b8bfae5c59f3d064f1edb4257109fff4b5d Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Wed, 21 Jul 2004 19:20:11 +0000 Subject: Removed the not-uploaded-version from the changelog. --- debian/changelog | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index 2214564a..1291bb58 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,18 +1,12 @@ coq (8.0pl1-1) experimental; urgency=low - * Finally the version without QPL-licensed files is out, + * New upstream release: finally the version without QPL-licensed files is out, closes: #230356, #250497. - * Build with OCaml 3.08. - - -- Samuel Mimram Sun, 18 Jul 2004 01:10:24 +0200 - -coq (8.0-1) unstable; urgency=low - - * New upstream release. * Libraries are now in separate packages (coq-libs and coq7-libs). - * An additionnal package provides coqide. + * An additional package provides coqide. + * Built with OCaml 3.08. - -- Samuel Mimram Thu, 15 Jul 2004 17:35:00 +0200 + -- Samuel Mimram Sun, 18 Jul 2004 01:10:24 +0200 coq (7.3.1-3) unstable; urgency=low -- cgit v1.2.3