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

summary refs log tree commit diff

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

blob: 2ede22116b5df481646fcfb04421e0a8d28e32a5 (plain)

1 2	`aac_tactics.cma /usr/lib/coq/user-contrib/AAC_tactics/ DYN: aac_tactics.cmxs /usr/lib/coq/user-contrib/AAC_tactics/`