diff options
author | Stephane Glondu <steph@glondu.net> | 2009-08-29 16:55:03 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2009-08-29 16:59:16 +0200 |
commit | d8e2663f7445de8536e71e16655bd083806360c1 (patch) | |
tree | 491490c95051dd6f87d3357d3ef399d9de47b134 /debian/changelog | |
parent | 52af446e4104d711a4fce53438b4bd29920a5e3d (diff) |
Various updates, prepare upload to unstabledebian/8.2.pl1+dfsg-3
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/debian/changelog b/debian/changelog index 7c61421e..62aa501f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,15 @@ -coq (8.2.pl1+dfsg-3) UNRELEASED; urgency=low +coq (8.2.pl1+dfsg-3) unstable; urgency=low * Update README.Debian (Closes: #538398) - - -- Stephane Glondu <steph@glondu.net> Sat, 25 Jul 2009 16:31:48 +0200 + * Add 0001-Update-for-why-2.19.patch + * debian/control: + - update my e-mail address and remove DMUA + - add why to Suggests + - add quilt to Build-Depends + - update Standards-Version to 3.8.3 (no changes) + * Update README.source to reflect use of quilt + + -- Stéphane Glondu <glondu@debian.org> Sat, 29 Aug 2009 16:58:45 +0200 coq (8.2.pl1+dfsg-2) unstable; urgency=low |