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