summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@debian.org>2019-02-03 15:56:35 -0500
committerGravatar Benjamin Barenblat <bbaren@debian.org>2019-02-05 11:48:06 -0500
commit323afa78587cbac774a6f2e47dea5544fb88b686 (patch)
treebb13cb4e7ac1c2101ed5b6f6af8c1aaaedc6c471
parent5a641c3f2d46146bb0f6c7d586c2e56b10e0d61e (diff)
Don’t try to install gallina(1) (deleted by upstream)
gallina(1) has been removed, so don’t try to install it.
-rw-r--r--debian/coq.install.in2
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/coq.install.in b/debian/coq.install.in
index d5fe3367..8c7af0c5 100644
--- a/debian/coq.install.in
+++ b/debian/coq.install.in
@@ -7,7 +7,6 @@ usr/bin/coq_makefile*
usr/bin/coq-tex*
usr/bin/coqtop*
usr/bin/coqwc*
-usr/bin/gallina*
usr/bin/coqworkmgr*
usr/lib/coq/plugins/micromega/csdpcert
usr/lib/coq/tools/CoqMakefile.in
@@ -24,7 +23,6 @@ usr/share/man/man1/coq_makefile*
usr/share/man/man1/coq-tex*
usr/share/man/man1/coqtop*
usr/share/man/man1/coqwc*
-usr/share/man/man1/gallina*
usr/share/texmf/tex/latex/misc/coqdoc.sty
debian/coq.xpm usr/share/pixmaps
debian/coqvars.mk usr/share/coq