diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2019-02-02 19:06:46 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 10:43:26 -0500 |
| commit | 956960a408a4fe67c7508bf3101d469b6465686d (patch) | |
| tree | 4d36cbcdd652c19dd123befd4577ea9ae798cfbc /debian/changelog | |
| parent | 8300ef2c07a17451f594bcbd6f0689cafb87c3fb (diff) | |
Update packaging for Emacs mode deletion
Proof General has been designated as the official interface to Coq, and
Coq no longer ships a separate Emacs mode. Update packaging to purge
references to the Emacs mode.
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 451e241d..b918317d 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,6 +1,8 @@ coq (8.9.0-1) UNRELEASED; urgency=medium * New upstream release + * 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 |