blob: 78d3b20a51fbe019befd5f90a7a71ecc3fd1136f (
plain)
1
2
3
4
|
-rectypes
-I src
-I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/proofs -I /usr/lib/coq/pretyping -I /usr/lib/coq/engine
--include debian/libaac-tactics-ocaml-dev/usr/lib/coq
|