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