# false positives
libcoq-quickchick: ocaml-dangling-cmi [*]
libcoq-quickchick: ocaml-dangling-cmxs [*]
libcoq-quickchick: unstripped-static-library (*) [*]
