summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2009-02-27 13:31:48 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2009-02-28 12:25:30 +0100
commit0edbd67c9c945f56e0c252bbbd6354952a9a25a8 (patch)
tree010a62c8ef3cb98e381318193a6b5ee2e6df14c0
parent77b1735a2a2ecee8988f1d8982fae2d1005f774f (diff)
Prepare upload to unstable
-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