The following commit has been merged in the master branch:
commit 24f81160e31255172d70badb1a8530385782ca48
Author: Stephane Glondu <[email protected]>
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 <[email protected]> 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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
