usr/bin
usr/lib
usr/lib/coq
usr/share/man/man1
usr/share/pixmaps