diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-07-01 17:40:12 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-07-02 16:05:38 +0200 |
| commit | 7a998985060742038ba6d2664d159ff2dbcdec3d (patch) | |
| tree | 4238b7003189865250f401099fa33ade1cf98a3c | |
| parent | 068d73cfda2add2fa7cf72dd9cb7c57488aef2ce (diff) | |
Update changelog and prepare upload to unstabledebian/8.2.pl2+dfsg-1
| -rw-r--r-- | debian/changelog | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/debian/changelog b/debian/changelog index 9e1c6aa0..beef4fb5 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,9 +1,17 @@ -coq (8.2.pl2+dfsg-1) UNRELEASED; urgency=low +coq (8.2.pl2+dfsg-1) unstable; urgency=low - * New upstream release (Closes: #585452) + * New upstream release + - compiles with OCaml 3.12 (Closes: #585452) - remove 0001-Update-for-why-2.19.patch (applied upstream) + - add 0002-Remove-dependency-to-Unix-from-module-Profile.patch + * Use dh with overrides + * debian/control: + - remove Stefano and Remi from Uploaders + - replace Conflicts with Breaks + - bump Standards-Version to 3.9.0 + * Switch source package format to 3.0 (quilt) - -- Stéphane Glondu <glondu@debian.org> Thu, 01 Jul 2010 17:25:52 +0200 + -- Stéphane Glondu <glondu@debian.org> Fri, 02 Jul 2010 15:25:15 +0200 coq (8.2.pl1+dfsg-6) unstable; urgency=low |