diff options
| -rw-r--r-- | debian/changelog | 6 |
1 files 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 <bbaren@debian.org> Sat, 02 Feb 2019 19:00:47 -0500 + -- Benjamin Barenblat <bbaren@debian.org> Wed, 06 Feb 2019 12:41:09 -0500 coq (8.8.2-1) unstable; urgency=medium |