From 1729cf9def36f907dc6b2f601bed957de8d82b5b Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Mon, 24 Dec 2018 15:17:35 -0500 Subject: Stop distributing CoqIDE CoqIDE currently requires gtksourceview2, which has been removed from Debian (see https://bugs.debian.org/885677). Upstream has an active pull request to update to gtksourceview3 (https://github.com/coq/coq/pull/9279), and it looks like Debian may ship gtksourceview2 with buster anyway, so this is likely to be a temporary change. --- debian/not-installed | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 debian/not-installed (limited to 'debian/not-installed') diff --git a/debian/not-installed b/debian/not-installed new file mode 100644 index 00000000..bfec6ce3 --- /dev/null +++ b/debian/not-installed @@ -0,0 +1,3 @@ +# CoqIDE is temporarily disabled. +usr/share/man/man1/coqide.1 +usr/lib/coq/toploop/coqidetop.cmxs -- cgit v1.2.3