[Pkg-ocaml-maint-commits] r5021 - in /trunk/packages/coq: trunk/debian/changelog upstream/coq_8.1.pl2+dfsg.orig.tar.gz upstream/coq_8.1.pl3+dfsg.orig.tar.gz
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Thu Jan 3 16:26:13 UTC 2008
Author: smimram
Date: Thu Jan 3 16:26:12 2008
New Revision: 5021
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5021
Log:
New upstream release.
Added:
trunk/packages/coq/upstream/coq_8.1.pl3+dfsg.orig.tar.gz (with props)
Removed:
trunk/packages/coq/upstream/coq_8.1.pl2+dfsg.orig.tar.gz
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=5021&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Thu Jan 3 16:26:12 2008
@@ -1,8 +1,12 @@
-coq (8.1.pl2+dfsg-4) UNRELEASED; urgency=low
-
+coq (8.1.pl3+dfsg-1) UNRELEASED; urgency=low
+
+ [ Stefano Zacchiroli ]
* fix vcs-svn field to point just above the debian/ dir
- -- Stefano Zacchiroli <zack at debian.org> Mon, 31 Dec 2007 16:49:55 +0100
+ [ Samuel Mimram ]
+ * New upstream release.
+
+ -- Samuel Mimram <smimram at debian.org> Thu, 03 Jan 2008 16:25:43 +0000
coq (8.1.pl2+dfsg-3) unstable; urgency=low
Added: trunk/packages/coq/upstream/coq_8.1.pl3+dfsg.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/upstream/coq_8.1.pl3%2Bdfsg.orig.tar.gz?rev=5021&op=file
==============================================================================
Binary file - no diff available.
Propchange: trunk/packages/coq/upstream/coq_8.1.pl3+dfsg.orig.tar.gz
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
More information about the Pkg-ocaml-maint-commits
mailing list