Merge pull request #377 from rtetley/iris-and-stdpp

Updating versions for iris and stdpp packages.
coq · Oct 20, 2023 · 17a7a56 · 17a7a56
2 parents b5f217c + 5acccf7
commit 17a7a56
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/package_picks/package-pick-8.18+beta1.sh b/package_picks/package-pick-8.18+beta1.sh
@@ -70,7 +70,7 @@ then
   # Standard library extensions
   PACKAGES="${PACKAGES} coq-bignums.9.0.0+coq8.18"
   PACKAGES="${PACKAGES} coq-ext-lib.0.11.8"
-  #PACKAGES="${PACKAGES} coq-stdpp.1.8.0" # does not build even after relaxing version constraints
+  PACKAGES="${PACKAGES} coq-stdpp.1.9.0"
 
   # General mathematics
   PACKAGES="${PACKAGES} coq-mathcomp-ssreflect.2.0.0"
@@ -146,8 +146,8 @@ then
 
   # Formal languages, compilers and code verification
   PACKAGES="${PACKAGES} coq-reglang.1.2.0"
-  #PACKAGES="${PACKAGES} coq-iris.4.0.0" # does not build even after relaxing version constraints
-  #PACKAGES="${PACKAGES} coq-iris-heap-lang.4.0.0" # depends on coq-iris
+  PACKAGES="${PACKAGES} coq-iris.4.1.0"
+  PACKAGES="${PACKAGES} coq-iris-heap-lang.4.1.0"
   if [[ "$OSTYPE" != cygwin ]]
   then
     # Windows: some issues with executable extensions (ott.opt instead of ott.exe)