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 9d5f2e50..12e2c866 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-coq (8.2-1+dfsg-1) UNRELEASED; urgency=low
+coq (8.2-1+dfsg-1) unstable; urgency=low
* New Upstream Version
* Use variables and ocamlinit rule from dh-ocaml in rules
@@ -11,7 +11,7 @@ coq (8.2-1+dfsg-1) UNRELEASED; urgency=low
custom mode): liblablgtk2-ocaml
* Rebuild with OCaml 3.11
- -- Stephane Glondu <steph@glondu.net> Fri, 27 Feb 2009 13:30:03 +0100
+ -- Stephane Glondu <steph@glondu.net> Fri, 27 Feb 2009 13:31:30 +0100
coq (8.2~rc2+dfsg-3) experimental; urgency=low