# false positives
libcoq-unicoq: ocaml-dangling-cmi [*]
libcoq-unicoq: ocaml-dangling-cmx [*]
libcoq-unicoq: ocaml-dangling-cmxa [*]
libcoq-unicoq: ocaml-dangling-cmxs [*]
