From cebe72982f923a7760cf2144dbc71bdc163bf8d5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 24 Oct 2019 08:28:33 +0200
Subject: [meta] Add zify plugin to META file.

---
 META.coq.in | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/META.coq.in b/META.coq.in
index 0baacbc82e..2dcb56c801 100644
--- a/META.coq.in
+++ b/META.coq.in
@@ -326,6 +326,21 @@ package "plugins" (
     archive(native)  = "micromega_plugin.cmx"
   )
 
+  package "zify" (
+
+    description = "Coq Zify plugin"
+    version     = "8.11"
+
+    requires    = "coq.plugins.ltac"
+    directory   = "micromega"
+
+    archive(byte)    = "zify_plugin.cmo"
+    archive(native)  = "zify_plugin.cmx"
+
+    plugin(byte)    = "zify_plugin.cmo"
+    plugin(native)  = "zify_plugin.cmxs"
+  )
+
   package "setoid_ring" (
 
     description = "Coq newring plugin"
-- 
cgit v1.2.3