diff options
-rw-r--r-- | debian/changelog | 4 |
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 |