coq.dirs.in « debian - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/debian/coq.dirs.in

blob: 7642db5675d806e0fd5a7451d66990c0403fbea8 (plain)

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