opam: require minimum Iris version (fix #2)

f55f24ef · Paolo G. Giarrusso · Ralf Jung · bd6c3503 · f55f24ef
Commit f55f24ef authored 5 years ago by Paolo G. Giarrusso Committed by Ralf Jung 5 years ago
--- a/opam
+++ b/opam
@@ -14,7 +14,7 @@ This package implements string_to_ident in Ltac2, enabling support for Gallina n

 depends: [
  "coq" {>= "8.11"}
-  "coq-iris"
+  "coq-iris" {>= "dev.2020-04-07.0.86b62616" | (>= "3.3.0" & < "4.0") | = "dev"}
 ]

 build: [make "-j%{jobs}%"]