From 956960a408a4fe67c7508bf3101d469b6465686d Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 2 Feb 2019 19:06:46 -0500 Subject: 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. --- debian/changelog | 2 ++ 1 file changed, 2 insertions(+) (limited to 'debian/changelog') 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 Sat, 02 Feb 2019 19:00:47 -0500 -- cgit v1.2.3