# it's not a info(1) document
libcoq-core-ocaml-dev: package-contains-documentation-outside-usr-share-doc var/lib/ocaml/lintian/libcoq-core-ocaml-dev.info
# lintian doesn't know how to check those (bug #999601)
libcoq-core-ocaml-dev: ocaml-dangling-cmi *__*.cmi
# stripping them would make them useless
libcoq-core-ocaml-dev unstripped-static-library *
