# 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
# stripping them would make them useless
libcoq-core-ocaml-dev: unstripped-static-library *
