diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 10:34:31 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 10:34:31 -0500 |
| commit | e4d4f4629fbd685d313a5aee75eb67d8604b056f (patch) | |
| tree | ae9832776f57cd38aa53ef2c2fd2bd60725d84fc | |
| parent | 1ef7f1c0c6897535a86daa77799714e25638f5e9 (diff) | |
Begin packaging 8.9.0
| -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) |