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

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