# False positives
libcoq-bignums-ocaml-dev: ocaml-dangling-cmx usr/lib/ocaml/coq/user-contrib/Bignums/plugin/bignums_syntax_plugin.cmx
libcoq-bignums-ocaml-dev: ocaml-dangling-cmxa usr/lib/ocaml/coq/user-contrib/Bignums/plugin/bignums_syntax_plugin.cmxa
