[Pkg-ocaml-maint-commits] [coq] 04/09: Bump ABI

Stéphane Glondu glondu at moszumanska.debian.org
Sun Jul 27 15:26:36 UTC 2014


This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository coq.

commit 2fd326c48811fbf0f46a9597a2f95ff02b010327
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Jul 27 10:33:09 2014 +0200

    Bump ABI
---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 5a2bff2..d700960 100755
--- a/debian/rules
+++ b/debian/rules
@@ -22,7 +22,7 @@ ADDPREF := COQINSTALLPREFIX=$(COQPREF) OLDROOT=
 
 PACKAGES := $(shell dh_listpackages)
 
-COQ_VERSION := 8.4pl3
+COQ_VERSION := 8.4pl4
 COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI)
 
 CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man \

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git



More information about the Pkg-ocaml-maint-commits mailing list