summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2011-04-19 16:58:27 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2011-04-19 16:58:27 +0200
commit3e161d7462ca7977e36ac0cacd0fb1a3d5fe0153 (patch)
treeb6ddcc7d9fadf4352be731e79365ab11c16d8ee2
parent7a24ebd7506f927a6493d065b8c9c297afd08db3 (diff)
New upstream release
-rw-r--r--debian/changelog6
-rwxr-xr-xdebian/rules2
2 files changed, 7 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog
index 4c4a8390..31839e8b 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@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 a4609b76..f34c0ae2 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 \