# false positives
libcoq-micromega-plugin: ocaml-dangling-cmi [*]
libcoq-micromega-plugin: ocaml-dangling-cmxs [*]
libcoq-micromega-plugin: unstripped-static-library (*) [*]
