1 files changed, 6 insertions, 0 deletions
diff --git a/debian/coq.install.in b/debian/coq.install.in
index 3b6d66a1..d658e513 100644
--- a/debian/coq.install.in
+++ b/debian/coq.install.in
@@ -8,6 +8,12 @@ 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
+usr/lib/coq/tools/coqdoc/coqdoc.sty
+usr/lib/coq/states/initial.coq
 usr/share/emacs/site-lisp/coq/
 usr/share/man/man1/coqc*
 usr/share/man/man1/coqdep*