diff options
Diffstat (limited to 'META.coq')
-rw-r--r-- | META.coq | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -263,9 +263,9 @@ package "ltac" ( version = "8.7" requires = "coq.highparsing" - directory = "ltac" + directory = "plugins/ltac" - archive(byte) = "ltac.cma" - archive(native) = "ltac.cmxa" + archive(byte) = "ltac_plugin.cmo" + archive(native) = "ltac_plugin.cmx" ) |