libaac-tactics-ocaml-dev.ocamldoc « debian - debian-aac-tactics - Debian packaging for aac-tactics

summary refs log tree commit diff

path: root/debian/libaac-tactics-ocaml-dev.ocamldoc

blob: 83a7cff0c6cf7b2e1264362e00612afc44693c2d (plain)

1
2
3

-rectypes
-I /usr/lib/coq/kernel -I /usr/lib/coq/proofs -I /usr/lib/coq/pretyping
--include debian/libaac-tactics-ocaml-dev/usr/lib/coq