diff options
| author |  Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-21 19:20:11 +0000 |
|---|---|---|
| committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-21 19:20:11 +0000 |
| commit | 0da99b8bfae5c59f3d064f1edb4257109fff4b5d (patch) | |
| tree | 00ee2c0b8a202064d641973584f95e6e4a1c851e | |
| parent | 771a52f1b2995036fd3b3d3c7f561089e9f65fc6 (diff) | |
Removed the not-uploaded-version from the changelog.
| -rw-r--r-- | debian/changelog | 14 |
1 files changed, 4 insertions, 10 deletions
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 <samuel.mimram@ens-lyon.org> 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 <samuel.mimram@ens-lyon.org> Thu, 15 Jul 2004 17:35:00 +0200 + -- Samuel Mimram <samuel.mimram@ens-lyon.org> Sun, 18 Jul 2004 01:10:24 +0200 coq (7.3.1-3) unstable; urgency=low |