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