summaryrefslogtreecommitdiff
path: root/debian/changelog
diff options
context:
space:
mode:
Diffstat (limited to 'debian/changelog')
-rw-r--r--debian/changelog13
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