Author: smimram
Date: Sat Jan 5 09:18:30 2008
New Revision: 5027
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5027
Log:
Uploading.
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=5027&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Sat Jan 5 09:18:30 2008
@@ -1,4 +1,4 @@
-coq (8.1.pl3+dfsg-1) UNRELEASED; urgency=low
+coq (8.1.pl3+dfsg-1) unstable; urgency=low
[ Stefano Zacchiroli ]
* fix vcs-svn field to point just above the debian/ dir
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
