/usr/doc/rocq-mathcomp-real-closed/*
/usr/lib/*/ocaml/*/rocq-mathcomp-real-closed/*
