blob: 74548b34cac3af1d8c0a0882dfddc9359546b85c (
plain)
1
2
3
4
5
|
*.cmi /usr/lib/coq/user-contrib/AAC_tactics/
*.mli /usr/lib/coq/user-contrib/AAC_tactics/
OPT: *.cmx /usr/lib/coq/user-contrib/AAC_tactics/
OPT: *.cmxa /usr/lib/coq/user-contrib/AAC_tactics/
OPT: *.a /usr/lib/coq/user-contrib/AAC_tactics/
|