[Pkg-ocaml-maint-commits] r4844 - /trunk/packages/coq/trunk/debian/changelog

[smimram at users.alioth.debian.org]

Author: smimram
Date: Thu Nov 29 14:50:52 2007
New Revision: 4844

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4844
Log:
Uploading to unstable.

Modified:
    trunk/packages/coq/trunk/debian/changelog

Modified: trunk/packages/coq/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/changelog?rev=4844&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Thu Nov 29 14:50:52 2007
@@ -1,4 +1,4 @@
-coq (8.1.pl2+dfsg-3) UNRELEASED; urgency=low
+coq (8.1.pl2+dfsg-3) unstable; urgency=low
 
   * Added check.dpatch to remove warnings which made some tests erroneously
     fail, closes: #452572.