From 5a641c3f2d46146bb0f6c7d586c2e56b10e0d61e Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 3 Feb 2019 15:57:45 -0500 Subject: Update to new toploop packaging MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit As of 8.9, upstream has stopped distributing plugins that turn coqtop into worker processes for CoqIDE and other things. There are now separate binaries for each coqtop use case. Ensure they’re all distributed. --- debian/coq.install.in | 1 + 1 file changed, 1 insertion(+) (limited to 'debian/coq.install.in') diff --git a/debian/coq.install.in b/debian/coq.install.in index 8bc58451..d5fe3367 100644 --- a/debian/coq.install.in +++ b/debian/coq.install.in @@ -1,4 +1,5 @@ #!/usr/bin/dh-exec +usr/bin/coq*worker* usr/bin/coqc* usr/bin/coqdep* usr/bin/coqdoc* -- cgit v1.2.3