debian/coq.dirs.in


1
2
3
4
5
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