1 files changed, 14 insertions, 0 deletions
diff --git a/debian/coq.install b/debian/coq.install
new file mode 100644
index 00000000..155e13af
--- /dev/null
+++ b/debian/coq.install
@@ -0,0 +1,14 @@
+usr/bin/coqc
+usr/bin/coqdep
+usr/bin/coqdoc
+usr/bin/coq-interface*
+usr/bin/coq_makefile
+usr/bin/coqmktop
+usr/bin/coq-tex
+usr/bin/coqtop*
+usr/bin/coqwc
+usr/bin/gallina
+usr/share/emacs/site-lisp/coq
+usr/share/man/man1/c*
+usr/share/man/man1/gallina.1
+usr/share/texmf/tex/latex/misc/*