1 files changed, 6 insertions, 0 deletions
diff --git a/debian/coq.dirs.in b/debian/coq.dirs.in
new file mode 100644
index 00000000..20f8dc0d
--- /dev/null
+++ b/debian/coq.dirs.in
@@ -0,0 +1,6 @@
+usr/bin
+usr/lib/coq/contrib/micromega
+usr/share/man/man1
+usr/share/pixmaps
+usr/share/texmf/tex/latex/misc
+usr/lib/ocaml/@OCamlABI@/stublibs