usr/lib/coq/contrib7
usr/lib/coq/states7
usr/lib/coq/theories7