[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.3.pl1+dfsg-2-7-gf23ca11
Stephane Glondu
steph at glondu.net
Tue Apr 19 17:14:33 UTC 2011
The following commit has been merged in the master branch:
commit 3e161d7462ca7977e36ac0cacd0fb1a3d5fe0153
Author: Stephane Glondu <steph at glondu.net>
Date: Tue Apr 19 16:58:27 2011 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 4c4a839..31839e8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.3.pl2+dfsg-1) UNRELEASED; urgency=low
+
+ * New upstream release
+
+ -- Stéphane Glondu <glondu at debian.org> Tue, 19 Apr 2011 16:54:06 +0200
+
coq (8.3.pl1+dfsg-2) experimental; urgency=low
* Set and check COQ_VERSION used to compute COQ_ABI in debian/rules
diff --git a/debian/rules b/debian/rules
index a4609b7..f34c0ae 100755
--- a/debian/rules
+++ b/debian/rules
@@ -22,7 +22,7 @@ ADDPREF := COQINSTALLPREFIX=$(COQPREF) OLDROOT=
PACKAGES := $(shell dh_listpackages)
-COQ_VERSION := 8.3pl1
+COQ_VERSION := 8.3pl2
COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI)
CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man \
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list