# false positive: it's not documentation
libcoq-elpi-ocaml-dev: package-contains-documentation-outside-usr-share-doc var/lib/ocaml/lintian/libcoq-elpi-ocaml-dev.info
