Pick 8.20~2025.01: updated coq-quickchick from 2.0.4 to 2.0.5 to fix …

…Windows build issues
coq · Dec 6, 2024 · 7b2dd70 · 7b2dd70
1 parent 4c80818
commit 7b2dd70
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
@@ -130,7 +130,7 @@ then
   PACKAGES="${PACKAGES} coq-aac-tactics.8.20.0"
   PACKAGES="${PACKAGES} coq-unicoq.1.6+8.20"
   PACKAGES="${PACKAGES} coq-mtac2.1.4+8.20"
-  PACKAGES="${PACKAGES} coq-quickchick.2.0.4"
+  PACKAGES="${PACKAGES} coq-quickchick.2.0.5"
   PACKAGES="${PACKAGES} coq-hammer-tactics.1.3.2+8.20"
   if [[ "$OSTYPE" != cygwin ]]
   then