# false positive
libcoq-elpi: ocaml-dangling-cmi [*]
libcoq-elpi: ocaml-dangling-cmxs [*]
