diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-07-01 17:25:02 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-07-01 17:26:03 +0200 |
| commit | 83ff9e0c693ccc0a8123e8f7a0f45f6831a4b3c7 (patch) | |
| tree | 4994beec9d32730b34afdf89f348438a977f5def /debian/changelog | |
| parent | 2dad86a4e71bae9905b39970384328316e53eb42 (diff) | |
New upstream release
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/debian/changelog b/debian/changelog index 17ff3b14..9e1c6aa0 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,9 @@ -coq (8.2.pl1+dfsg-7) UNRELEASED; urgency=low +coq (8.2.pl2+dfsg-1) UNRELEASED; urgency=low - * Add 0003-Fix-build-with-OCaml-3.12.patch (Closes: #585452) + * New upstream release (Closes: #585452) + - remove 0001-Update-for-why-2.19.patch (applied upstream) - -- Stéphane Glondu <glondu@debian.org> Mon, 28 Jun 2010 15:32:29 +0200 + -- Stéphane Glondu <glondu@debian.org> Thu, 01 Jul 2010 17:25:52 +0200 coq (8.2.pl1+dfsg-6) unstable; urgency=low |