summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2014-01-19 15:20:17 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2014-01-19 16:15:52 +0100
commitfc0c747d28dcbf8e1b2681a173f9207cb300d26a (patch)
tree603dd2d867ae78eee5620294f4a6116d4faa59f0
parent4d459d59dd0fe161843e8fe05503cbca9e74055c (diff)
Update ABI
-rwxr-xr-xdebian/rules2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules
index 4a033c89..5a2bff26 100755
--- a/debian/rules
+++ b/debian/rules
@@ -22,7 +22,7 @@ ADDPREF := COQINSTALLPREFIX=$(COQPREF) OLDROOT=
PACKAGES := $(shell dh_listpackages)
-COQ_VERSION := 8.4pl2
+COQ_VERSION := 8.4pl3
COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI)
CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man \