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