From ccb706774a8f9bf4f58f6899a58e6cc5117901a6 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 9 Mar 2017 01:09:00 +0100
Subject: [META] Ltac now a plugin.

---
 META.coq | 6 +++---
 1 file 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"
 
 )
-- 
cgit v1.2.3