# False positives
libcoq-equations: ocaml-dangling-cmxs [*]
libcoq-equations: unstripped-static-library (*) [*]
