# HG changeset patch
# User wenzelm
# Date 1662835462 -7200
# Node ID 6308eaaa88f1da72b223552d1b6ea681fe24f796
# Parent  0605eb327e60567880f4e7076e4ad1cf58cb2b23
clarified release packaging: naproche-20220910 lacks arm64-linux support (and crashes);

diff -r 0605eb327e60 -r 6308eaaa88f1 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sat Sep 10 19:37:33 2022 +0200
+++ b/Admin/Release/CHECKLIST	Sat Sep 10 20:44:22 2022 +0200
@@ -72,7 +72,11 @@
 
 - fully-automated packaging (e.g. on lxcisa0):
 
-  hg up -r DISTNAME && Admin/build_release -D /p/home/isabelle/dist -b HOL -l -R DISTNAME
+  hg up -r DISTNAME
+  Admin/build_release -D /p/home/isabelle/dist -b HOL -l -R DISTNAME -c .../naproche-20220910
+
+  #no naproche for arm64-linux
+  Admin/build_release -D /p/home/isabelle/dist -b HOL -R DISTNAME -p linux_arm
 
 - Docker image: