# 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