--- a/Admin/Release/CHECKLIST Thu Oct 20 20:14:35 2022 +0200
+++ b/Admin/Release/CHECKLIST Mon Oct 24 15:24:04 2022 +0200
@@ -73,13 +73,13 @@
- regular packaging:
#on fast Linux machine, with access to Linux + Windows build_host
- Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p linux,windows -l
+ Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux,windows -l
#with access Apple ARM build_host
- Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p macos
+ Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p macos
#with access Linux ARM build_host
- Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p linux_arm
+ Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux_arm
- Docker image: