[Pkg-ocaml-maint-commits] r2936 - in /trunk/packages/coq/branches:
8.1/debian/changelog upstream/coq_8.0pl3+8.1beta.2.orig.tar.gz
upstream/coq_8.0pl3+8.1beta.orig.tar.gz
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Thu Jul 13 14:28:39 UTC 2006
Author: smimram
Date: Thu Jul 13 14:28:31 2006
New Revision: 2936
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=2936
Log:
New upstream beta release.
Added:
trunk/packages/coq/branches/upstream/coq_8.0pl3+8.1beta.2.orig.tar.gz (with props)
Removed:
trunk/packages/coq/branches/upstream/coq_8.0pl3+8.1beta.orig.tar.gz
Modified:
trunk/packages/coq/branches/8.1/debian/changelog
Modified: trunk/packages/coq/branches/8.1/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/changelog?rev=2936&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/changelog (original)
+++ trunk/packages/coq/branches/8.1/debian/changelog Thu Jul 13 14:28:31 2006
@@ -1,3 +1,9 @@
+coq (8.0pl3+8.1beta.2-1) experimental; urgency=low
+
+ * New upstream beta release.
+
+ -- Samuel Mimram <smimram at debian.org> Thu, 13 Jul 2006 14:27:55 +0000
+
coq (8.0pl3+8.1beta-1) experimental; urgency=low
* New upstream release.
Added: trunk/packages/coq/branches/upstream/coq_8.0pl3+8.1beta.2.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/upstream/coq_8.0pl3%2B8.1beta.2.orig.tar.gz?rev=2936&op=file
==============================================================================
Binary file - no diff available.
Propchange: trunk/packages/coq/branches/upstream/coq_8.0pl3+8.1beta.2.orig.tar.gz
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
More information about the Pkg-ocaml-maint-commits
mailing list