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

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