[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-5-g217a759

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 24f81160e31255172d70badb1a8530385782ca48
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Feb 19 13:15:58 2009 +0100

    New Upstream Version

diff --git a/debian/changelog b/debian/changelog
index 9e23e0b..3820432 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.2-1+dfsg-1) UNRELEASED; urgency=low
+
+  * New Upstream Version
+
+ -- Stephane Glondu <steph at glondu.net>  Thu, 19 Feb 2009 13:13:31 +0100
+
 coq (8.2~rc2+dfsg-3) experimental; urgency=low
 
   * Explicit more dependencies and drop dependency on
diff --git a/debian/rules b/debian/rules
index 3170165..4c135a3 100755
--- a/debian/rules
+++ b/debian/rules
@@ -26,7 +26,11 @@ PACKAGES := $(shell awk '/Package:/{print $$2}' debian/control)
 
 OFILES := $(patsubst %.in,%,$(wildcard debian/*.in))
 OCAMLABI := $(shell ocamlc -version)
-COQABI := 8.2+$(OCAMLABI)
+
+# Beware: -1 is part of upstream version
+COQVERSION := 8.2-1
+
+COQABI := $(COQVERSION)+$(OCAMLABI)
 
 CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man \
   --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all \

-- 
coq packaging