# HG changeset patch
# User wenzelm
# Date 1664719534 -7200
# Node ID 2a052820523d3f78790c5ac97b77776ea5b481be
# Parent  0a44395a25f0bafa7497c1ce0bda7f55417b9536
provide naproche-20221002;

diff -r 0a44395a25f0 -r 2a052820523d Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sat Oct 01 21:58:08 2022 +0200
+++ b/Admin/Release/CHECKLIST	Sun Oct 02 16:05:34 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-20220917.tar.gz -p linux,windows -l
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221002.tar.gz -p linux,windows -l
 
   #with access Apple ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p macos
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221002.tar.gz -p macos
 
   #with access Linux ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p linux_arm
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221002.tar.gz -p linux_arm
 
 - Docker image:
 
diff -r 0a44395a25f0 -r 2a052820523d Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Oct 01 21:58:08 2022 +0200
+++ b/Admin/components/components.sha1	Sun Oct 02 16:05:34 2022 +0200
@@ -292,6 +292,7 @@
 5a8a59132476ae75cfddefc98781db55f18ed82c naproche-20220808.tar.gz
 516b3714e56b708bc291bb0a592ea89de39ac894 naproche-20220910.tar.gz
 c695a038197477b69180917ee17ec2d92142e8f2 naproche-20220917.tar.gz
+0b5a3161a18045540ab618249ba85a464c1fce66 naproche-20221002.tar.gz
 d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
 4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
 77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz