1 files changed, 3 insertions, 3 deletions
diff --git a/META.coq b/META.coq
index dea9fb458..5084237e8 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"
 
 )