[Pkg-ocaml-maint-commits] r4741 - /trunk/packages/coq/trunk/debian/changelog
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Fri Nov 16 19:49:51 UTC 2007
Author: smimram
Date: Fri Nov 16 19:49:51 2007
New Revision: 4741
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4741
Log:
Upload 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=4741&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Fri Nov 16 19:49:51 2007
@@ -1,3 +1,9 @@
+coq (8.1.pl2+dfsg-2) unstable; urgency=low
+
+ * Upload to unstable.
+
+ -- Samuel Mimram <smimram at debian.org> Fri, 16 Nov 2007 19:20:24 +0000
+
coq (8.1.pl2+dfsg-1) experimental; urgency=low
* New upstream release.
More information about the Pkg-ocaml-maint-commits
mailing list