Add a specific version of Iris

coq-iris-ltac2-string-ident.opam

@@ -16,7 +16,7 @@ install: [make "install"]
 depends: [
   "ocaml" {>= "4.05.0"}
   "coq" {>= "8.11"}
-  "coq-iris" {= "dev"}
+  "coq-iris" { (= "dev.2020-03-23.0.3a0d7152") | (= "dev") }
 ]
 
 tags: [

meta.yml

@@ -36,7 +36,7 @@ supported_ocaml_versions:
 dependencies:
   - opam:
       name: coq-iris
-      version: '{= "dev"}'
+      version: '{ (= "dev.2020-03-23.0.3a0d7152") | (= "dev") }'
 
 tested_coq_nix_versions:
 - version_or_url: https://github.com/coq/coq-on-cachix/tarball/master