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

summary refs log tree commit diff

path: root/debian/libaac-tactics-ocaml-dev.install

blob: a830af439e3fd8ca84c3001875880eb97bd1e22c (plain)

1 2	`usr/lib/coq/user-contrib/AAC_tactics/.cmi src/.mli usr/lib/coq/user-contrib/AAC_tactics/`