[META] Ltac now a plugin.

1 files changed, 3 insertions, 3 deletions

diff --git a/META.coq b/META.coq
index dea9fb458f..5084237e8e 100644
--- a/META.coq
+++ b/META.coq
@@ -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"
 
 )