The following commit has been merged in the master branch: commit d06daee9d257c470bba9c29c283b506201db86fa Author: Stephane Glondu <st...@glondu.net> Date: Tue Mar 27 07:50:59 2012 +0200
New upstream release diff --git a/debian/changelog b/debian/changelog index 6367865..05e3385 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.3.pl4+dfsg-1) UNRELEASED; urgency=low + + * New upstream release + + -- Stéphane Glondu <glo...@debian.org> Tue, 27 Mar 2012 07:50:16 +0200 + coq (8.3.pl3+dfsg-2) unstable; urgency=low * Recompile with camlp5 6.04 (no changes) diff --git a/debian/rules b/debian/rules index a364ad7..f35e0de 100755 --- a/debian/rules +++ b/debian/rules @@ -22,7 +22,7 @@ ADDPREF := COQINSTALLPREFIX=$(COQPREF) OLDROOT= PACKAGES := $(shell dh_listpackages) -COQ_VERSION := 8.3pl3 +COQ_VERSION := 8.3pl4 COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI) CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man \ -- coq packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits