Bump coq-simple-io

coq · Apr 22, 2024 · e3526cb · e3526cb
1 parent 454bd45
commit e3526cb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package_picks/package-pick-8.19~2024.01+beta1.sh b/package_picks/package-pick-8.19~2024.01+beta1.sh
@@ -114,7 +114,7 @@ then
   fi 
 
   # 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"