# false positives
libcoq-mtac2: ocaml-dangling-cmi [*]
libcoq-mtac2: ocaml-dangling-cmx [*]
libcoq-mtac2: ocaml-dangling-cmxa [*]
libcoq-mtac2: ocaml-dangling-cmxs [*]
libcoq-mtac2: wrong-section-according-to-package-name ocaml => libs
