debian/coq.dirs.in


1
2
3
4
5
6
7

usr/bin
usr/lib/coq/contrib/micromega
usr/share/coq
usr/share/man/man1
usr/share/pixmaps
usr/share/texmf/tex/latex/misc
@OCamlDllDir@