# false positives
libcoq-mtac2: ocaml-dangling-cmx [usr/lib/ocaml/coq-mtac2/MetaCoqPlugin.cmx]
libcoq-mtac2: ocaml-dangling-cmxa [usr/lib/ocaml/coq-mtac2/MetaCoqPlugin.cmxa]
libcoq-mtac2: ocaml-dangling-cmxs [usr/lib/ocaml/coq-mtac2/MetaCoqPlugin.cmxs]
libcoq-mtac2: ocaml-dangling-cmxs [usr/lib/ocaml/coq/user-contrib/Mtac2/MetaCoqPlugin.cmxs]
