[meta] Add zify plugin to META file.

1 files changed, 15 insertions, 0 deletions

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"