# 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