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

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