diff options
| -rw-r--r-- | META.coq.in | 15 |
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" |