Merge PR #11284: [meta] Add ltac2 information to META.

Ack-by: Zimmi48

1 files changed, 15 insertions, 0 deletions

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"
+  )
 )