usr/lib/coq/contrib
usr/lib/coq/states
usr/lib/coq/theories
usr/lib/coq/ide/utf8.vo	usr/lib/coq