diff options
Diffstat (limited to 'META.coq')
-rw-r--r-- | META.coq | 15 |
1 files changed, 1 insertions, 14 deletions
@@ -240,25 +240,12 @@ package "stm" ( ) -package "API" ( - - description = "Coq API" - version = "8.7" - - requires = "coq.intf, coq.stm" - directory = "API" - - archive(byte) = "API.cma" - archive(native) = "API.cmxa" - -) - package "ltac" ( description = "Coq LTAC Plugin" version = "8.7" - requires = "coq.API" + requires = "coq.stm" directory = "plugins/ltac" archive(byte) = "ltac_plugin.cmo" |