blob: d360db0658c84637b776ce46a9bcb8a6079be96f (
plain)
1
2
3
4
5
|
*.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/
|