From a7783b2b7b263ecf957874657b953f10b848ed7d Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Wed, 6 Feb 2019 12:41:36 -0500 Subject: Release for unstable --- debian/changelog | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index b918317d..15304bf0 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,10 +1,12 @@ -coq (8.9.0-1) UNRELEASED; urgency=medium +coq (8.9.0-1) unstable; urgency=high * New upstream release + * Set CAML_LD_LIBRARY_PATH and COQLIB correctly during building + (Closes: #919462) * Coq no longer ships an Emacs mode; users should migrate to Proof General (Closes: #736761, #854147, #877938) - -- Benjamin Barenblat Sat, 02 Feb 2019 19:00:47 -0500 + -- Benjamin Barenblat Wed, 06 Feb 2019 12:41:09 -0500 coq (8.8.2-1) unstable; urgency=medium -- cgit v1.2.3