diff options
-rw-r--r-- | debian/changelog | 7 | ||||
-rwxr-xr-x | debian/rules | 2 |
2 files changed, 4 insertions, 5 deletions
diff --git a/debian/changelog b/debian/changelog index ff8582b8..451e241d 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,9 +1,8 @@ -coq (8.8.2-2) UNRELEASED; urgency=medium +coq (8.9.0-1) UNRELEASED; urgency=medium - * Use freely licensed files from upstream to restore ssrmatching and reverse - dependencies. + * New upstream release - -- Benjamin Barenblat <bbaren@debian.org> Thu, 17 Jan 2019 17:10:25 -0500 + -- Benjamin Barenblat <bbaren@debian.org> Sat, 02 Feb 2019 19:00:47 -0500 coq (8.8.2-1) unstable; urgency=medium diff --git a/debian/rules b/debian/rules index 8ffcd917..7f7b8051 100755 --- a/debian/rules +++ b/debian/rules @@ -22,7 +22,7 @@ ADDPREF := COQINSTALLPREFIX=$(COQPREF) OLDROOT= PACKAGES := $(shell dh_listpackages) -COQ_VERSION := 8.8.2 +COQ_VERSION := 8.9.0 COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI) ARCH := $(shell dpkg-architecture -q DEB_TARGET_ARCH) |