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: b102d8b4456b4977a4ee8e4915300346538b45cd (plain)

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