[tmp] More 8.20 stuff

coq · Sep 16, 2024 · f6b8d2d · f6b8d2d
1 parent c1dd328
commit f6b8d2d
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/package_picks/package-pick-8.20~2023.11-coq-lsp.sh b/package_picks/package-pick-8.20~2023.11-coq-lsp.sh
@@ -70,8 +70,8 @@ fi
 if  [[ "${COQ_PLATFORM_EXTENT}"  =~ ^[fFxX] ]]
 then
   # Standard library extensions
-  PACKAGES="${PACKAGES} coq-bignums.9.0.0+coq8.19"
-  PACKAGES="${PACKAGES} coq-ext-lib.0.12.1"
+  PACKAGES="${PACKAGES} coq-bignums.9.0.0+coq8.20"
+  PACKAGES="${PACKAGES} coq-ext-lib.0.12.2"
   #PACKAGES="${PACKAGES} coq-stdpp.1.9.0" does not build
 
   # General mathematics
@@ -85,8 +85,8 @@ then
   PACKAGES="${PACKAGES} coq-mathcomp-finmap.2.1.0"
   PACKAGES="${PACKAGES} coq-mathcomp-real-closed.2.0.0"
   PACKAGES="${PACKAGES} coq-mathcomp-zify.1.5.0+2.0+8.16"
-  PACKAGES="${PACKAGES} coq-mathcomp-multinomials.2.2.0"
-  PACKAGES="${PACKAGES} coq-coquelicot.3.4.1"
+  # PACKAGES="${PACKAGES} coq-mathcomp-multinomials.2.2.0"
+  PACKAGES="${PACKAGES} coq-coquelicot.3.4.2"
 
   # Number theory
   # PACKAGES="${PACKAGES} coq-coqprime.1.5.0"
@@ -103,22 +103,22 @@ then
   #PACKAGES="${PACKAGES} coq-corn.8.18.0" #DOES NOT BUILD
 
   # Homotopy Type Theory (HoTT)
-  # PACKAGES="${PACKAGES} coq-hott.8.18"
+  # PACKAGES="${PACKAGES} coq-hott.8.20"
 
   # Code extraction
-  PACKAGES="${PACKAGES} coq-simple-io.1.8.0"
+  PACKAGES="${PACKAGES} coq-simple-io.1.9.0"
 
   # Proof automation / generation / helpers
   # PACKAGES="${PACKAGES} coq-menhirlib.20231231 menhir.20231231"
-  PACKAGES="${PACKAGES} coq-equations.1.3+8.19"
-  PACKAGES="${PACKAGES} coq-aac-tactics.8.19.0"
+  PACKAGES="${PACKAGES} coq-equations.1.3.1+8.20"
+  # PACKAGES="${PACKAGES} coq-aac-tactics.8.19.0"
   PACKAGES="${PACKAGES} elpi.1.19.6 coq-elpi.2.2.3"
   PACKAGES="${PACKAGES} coq-hierarchy-builder.1.7.0"
 
   # BROKEN in CI
   # PACKAGES="${PACKAGES} coq-quickchick.2.0.2"
 
-  PACKAGES="${PACKAGES} coq-paramcoq.1.1.3+coq8.19"
+  PACKAGES="${PACKAGES} coq-paramcoq.1.1.3+coq8.20"
   PACKAGES="${PACKAGES} coq-coqeal.2.0.1"
   PACKAGES="${PACKAGES} coq-libhyps.2.0.8"
   # BROKEN in CI