summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/changelog4
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog
index 11765483..f53942e5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-coq (8.2.pl1+dfsg-4) UNRELEASED; urgency=low
+coq (8.2.pl1+dfsg-4) unstable; urgency=low
[ Stefano Zacchiroli ]
* debian/control: fix typo in long description (Closes: #557458)
@@ -6,7 +6,7 @@ coq (8.2.pl1+dfsg-4) UNRELEASED; urgency=low
[ Stéphane Glondu ]
* Switch to dh-ocaml 0.9
- -- Stéphane Glondu <glondu@debian.org> Thu, 03 Dec 2009 11:21:27 +0100
+ -- Stéphane Glondu <glondu@debian.org> Thu, 03 Dec 2009 11:54:58 +0100
coq (8.2.pl1+dfsg-3) unstable; urgency=low