# HG changeset patch
# User wenzelm
# Date 1663448940 -7200
# Node ID 63a6889c5f91f53d6618cc532a07a4517a650240
# Parent  1a31d1551eb30763b10c4b893e7f5f1b4966d14f
provide naproche-20220917;

diff -r 1a31d1551eb3 -r 63a6889c5f91 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sat Sep 17 22:38:21 2022 +0200
+++ b/Admin/Release/CHECKLIST	Sat Sep 17 23:09:00 2022 +0200
@@ -73,7 +73,7 @@
 - fully-automated packaging (e.g. on lxcisa0):
 
   hg up -r DISTNAME
-  Admin/build_release -D /p/home/isabelle/dist -b HOL -l -R DISTNAME -c .../naproche-20220910
+  Admin/build_release -D /p/home/isabelle/dist -b HOL -l -R DISTNAME -c .../naproche-20220917.tar.gz
 
   #no naproche for arm64-linux
   Admin/build_release -D /p/home/isabelle/dist -b HOL -R DISTNAME -p linux_arm
diff -r 1a31d1551eb3 -r 63a6889c5f91 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Sep 17 22:38:21 2022 +0200
+++ b/Admin/components/components.sha1	Sat Sep 17 23:09:00 2022 +0200
@@ -291,6 +291,7 @@
 37bb6d934cfaf157efcadb349a0244d145ce15b0 naproche-20211211.tar.gz
 5a8a59132476ae75cfddefc98781db55f18ed82c naproche-20220808.tar.gz
 516b3714e56b708bc291bb0a592ea89de39ac894 naproche-20220910.tar.gz
+fc873979b02c2604122f515ad7643ea805b9d811 naproche-20220917.tar.gz
 d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
 4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
 77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz