From e4d4f4629fbd685d313a5aee75eb67d8604b056f Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Tue, 5 Feb 2019 10:34:31 -0500 Subject: Begin packaging 8.9.0 --- debian/changelog | 7 +++---- 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 Thu, 17 Jan 2019 17:10:25 -0500 + -- Benjamin Barenblat 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) -- cgit v1.2.3