Merge PR #10944: [meta] Add zify plugin to META file.

Reviewed-by: vbgl

1 files changed, 15 insertions, 0 deletions

diff --git a/META.coq.in b/META.coq.in
index 5819985499..9869e7f575 100644
--- a/META.coq.in
+++ b/META.coq.in
@@ -337,6 +337,21 @@ package "plugins" (
     plugin(native)  = "micromega_plugin.cmxs"
   )
 
+  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"