libaac-tactics-ocaml-dev.lintian-overrides « debian - debian-aac-tactics - Debian packaging for aac-tactics

summary refs log tree commit diff

path: root/debian/libaac-tactics-ocaml-dev.lintian-overrides

blob: cf055a402e061833493390690076766d8c73c76c (plain)

1 2	`# aac.cmo is a pack libaac-tactics-ocaml-dev: ocaml-dangling-cmi usr/lib/coq/user-contrib/AAC_tactics/aac_plugin.cmi`