Pick 8.20~2025.01: reverted coq-coqprime-generator to version 1.1.1 -…

… 1.1.2 requires OCaml 5.0
coq · Jan 27, 2025 · 3ea490f · 3ea490f
1 parent ff3d140
commit 3ea490f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package_picks/package-pick-8.20~2025.01.sh b/package_picks/package-pick-8.20~2025.01.sh
@@ -94,7 +94,7 @@ then
 
   # Number theory
   PACKAGES="${PACKAGES} coq-coqprime.1.6.0"
-  PACKAGES="${PACKAGES} coq-coqprime-generator.1.1.2"
+  PACKAGES="${PACKAGES} coq-coqprime-generator.1.1.1" # Note: there is a newer version 1.1.2, but it requires Ocaml 5.X
 
   # Numerical mathematics
   PACKAGES="${PACKAGES} coq-flocq.4.2.0"