summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2012-06-04 14:18:02 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2012-06-04 14:18:02 +0200
commitc467035933a683a7b7ac214fc511604735f15e7f (patch)
treea76291edaf88f4da745206fb14aab3468ff1c80c /debian
parent4c3793181d62c1e4c883cea7547ee04ea423fbe4 (diff)
Update ABI
Diffstat (limited to 'debian')
-rwxr-xr-xdebian/rules2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules
index 4ed4e3a3..d885ece6 100755
--- a/debian/rules
+++ b/debian/rules
@@ -22,7 +22,7 @@ ADDPREF := COQINSTALLPREFIX=$(COQPREF) OLDROOT=
PACKAGES := $(shell dh_listpackages)
-COQ_VERSION := 8.4beta
+COQ_VERSION := 8.4beta2
COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI)
CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man \