equal
deleted
inserted
replaced
71 ========= |
71 ========= |
72 |
72 |
73 - fully-automated packaging (e.g. on lxcisa0): |
73 - fully-automated packaging (e.g. on lxcisa0): |
74 |
74 |
75 hg up -r DISTNAME |
75 hg up -r DISTNAME |
76 Admin/build_release -D /p/home/isabelle/dist -b HOL -l -R DISTNAME -c .../naproche-20220910 |
76 Admin/build_release -D /p/home/isabelle/dist -b HOL -l -R DISTNAME -c .../naproche-20220917.tar.gz |
77 |
77 |
78 #no naproche for arm64-linux |
78 #no naproche for arm64-linux |
79 Admin/build_release -D /p/home/isabelle/dist -b HOL -R DISTNAME -p linux_arm |
79 Admin/build_release -D /p/home/isabelle/dist -b HOL -R DISTNAME -p linux_arm |
80 |
80 |
81 - Docker image: |
81 - Docker image: |