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

*.cmi                     /usr/lib/coq/user-contrib/AACTactics/
*.mli                     /usr/lib/coq/user-contrib/AACTactics/
OPT: *.cmx                /usr/lib/coq/user-contrib/AACTactics/
OPT: *.cmxa               /usr/lib/coq/user-contrib/AACTactics/
OPT: *.a                  /usr/lib/coq/user-contrib/AACTactics/