diff options
author | Stephane Glondu <steph@glondu.net> | 2012-03-27 07:57:05 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-03-27 08:18:52 +0200 |
commit | 7ea6f0085c0c5ba14e846bad255923e505e7b168 (patch) | |
tree | d901ebd652c87ca8c7598624abfd5f500e37506d /debian/changelog | |
parent | 62d9cc7bb328a0a3a803f9b638a398fc4fec1ad9 (diff) |
Update changelog and prepare upload to unstabledebian/8.3.pl4+dfsg-1
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 05e33857..2dc21b79 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,11 @@ -coq (8.3.pl4+dfsg-1) UNRELEASED; urgency=low +coq (8.3.pl4+dfsg-1) unstable; urgency=low * New upstream release + * Replace proofgeneral-coq by proofgeneral in dependencies + * Switch debian/copyright to format 1.0 + * Bump Standards-Version to 3.9.3 - -- Stéphane Glondu <glondu@debian.org> Tue, 27 Mar 2012 07:50:16 +0200 + -- Stéphane Glondu <glondu@debian.org> Tue, 27 Mar 2012 07:59:07 +0200 coq (8.3.pl3+dfsg-2) unstable; urgency=low |