--- a/Admin/Release/CHECKLIST Tue Oct 18 10:53:55 2022 +0200
+++ b/Admin/Release/CHECKLIST Tue Oct 18 11:31:35 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-20221002.tar.gz -p linux,windows -l
+ Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p linux,windows -l
#with access Apple ARM build_host
- Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221002.tar.gz -p macos
+ Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p macos
#with access Linux ARM build_host
- Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221002.tar.gz -p linux_arm
+ Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p linux_arm
- Docker image: