usr/share/doc/coq-libs
usr/share/doc/coq