usr/lib/coq/contrib
usr/lib/coq/states
usr/lib/coq/theories