diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2018-12-29 16:14:55 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-01-03 18:24:36 -0500 |
| commit | a54522df81eaf2ad38454e5e43f2faf2d1a501dc (patch) | |
| tree | 7f6632633ff455b125c7d0dd4db36eb946a1d453 | |
| parent | 4181269ff800d58e60b886d0aaa2894444a9cd0d (diff) | |
debian/rules: Bump Coq version
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 58393fb4..dd9cf72c 100755 --- a/debian/rules +++ b/debian/rules @@ -22,7 +22,7 @@ ADDPREF := COQINSTALLPREFIX=$(COQPREF) OLDROOT= PACKAGES := $(shell dh_listpackages) -COQ_VERSION := 8.6 +COQ_VERSION := 8.8.2 COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI) ARCH := $(shell dpkg-architecture -q DEB_TARGET_ARCH) |