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