summaryrefslogtreecommitdiff
path: root/debian/coq.install.in
diff options
context:
space:
mode:
Diffstat (limited to 'debian/coq.install.in')
-rw-r--r--debian/coq.install.in1
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/coq.install.in b/debian/coq.install.in
index d658e513..220680e9 100644
--- a/debian/coq.install.in
+++ b/debian/coq.install.in
@@ -8,7 +8,6 @@ usr/bin/coq-tex*
usr/bin/coqtop*
usr/bin/coqwc*
usr/bin/gallina*
-usr/lib/coq/revision
usr/lib/coq/contrib/micromega/csdpcert
usr/lib/coq/contrib/interface/vernacrc
usr/lib/coq/tools/coqdoc/coqdoc.css