# lintian doesn't know how to check those (bug #999601)
libcoq-core-ocaml-dev: ocaml-dangling-cmi [*.cmi]
libcoq-core-ocaml-dev: unstripped-static-library (*.o) [*.a]
