# HG changeset patch # User wenzelm # Date 1666617844 -7200 # Node ID b879d2280a7f9e45e65307b217c9279d22825f35 # Parent ea79c21bcc4733019bb94308e67f8f05d724ebec updated to naproche-20221024: minor changes to documentation; diff -r ea79c21bcc47 -r b879d2280a7f Admin/Release/CHECKLIST --- 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: diff -r ea79c21bcc47 -r b879d2280a7f Admin/components/components.sha1 --- a/Admin/components/components.sha1 Thu Oct 20 20:14:35 2022 +0200 +++ b/Admin/components/components.sha1 Mon Oct 24 15:24:04 2022 +0200 @@ -296,6 +296,7 @@ c695a038197477b69180917ee17ec2d92142e8f2 naproche-20220917.tar.gz 0b5a3161a18045540ab618249ba85a464c1fce66 naproche-20221002.tar.gz 48e9d4cbf95626c8e3013bee86ff82e67df6cefd naproche-20221018.tar.gz +c66f5ce13d429ea9c8dcc0d33d34b7abf178da5d naproche-20221024.tar.gz d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz 4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz 77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz