diff options
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 |