diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2019-02-06 12:41:36 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-06 12:41:36 -0500 |
| commit | a7783b2b7b263ecf957874657b953f10b848ed7d (patch) | |
| tree | 146c8e5f6227d0c8b59977fb163f76b53ffcc8e3 | |
| parent | 8474d99eafda72d767b8aed5385ef82df603e43b (diff) | |
Release for unstableHEADdebian/8.9.0-1master
| -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 |