From 8ca6ef52ae0091a694b1047ca1ca53d7d836a3a3 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 13 Dec 2019 17:43:33 +0100
Subject: [meta] Add ltac2 information to META.

Closes #11225 , we use a bit of a hack due to the way the Makefile
installs this plugin.
---
 META.coq.in | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/META.coq.in b/META.coq.in
index 49bdea6d9c..377dbd9b7e 100644
--- a/META.coq.in
+++ b/META.coq.in
@@ -561,4 +561,19 @@ package "plugins" (
     plugin(byte)    = "ssreflect_plugin.cmo"
     plugin(native)  = "ssreflect_plugin.cmxs"
   )
+
+  package "ltac2" (
+
+    description = "Coq Ltac2 Plugin"
+    version     = "8.12"
+
+    requires    = "coq.plugins.ltac"
+    directory   = "../user-contrib/Ltac2"
+
+    archive(byte)    = "ltac2_plugin.cmo"
+    archive(native)  = "ltac2_plugin.cmx"
+
+    plugin(byte)    = "ltac2_plugin.cmo"
+    plugin(native)  = "ltac2_plugin.cmxs"
+  )
 )
-- 
cgit v1.2.3