# false positives
libcoq-bignums: ocaml-dangling-cmi [*/bignums_syntax_plugin.cmi]
libcoq-bignums: ocaml-dangling-cmx [*/bignums_syntax_plugin.cmx]
libcoq-bignums: ocaml-dangling-cmxa [*/bignums_syntax_plugin.cmxa]
libcoq-bignums: ocaml-dangling-cmxs [*/bignums_syntax_plugin.cmxs]
