Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
provide naproche-20220917;
authorwenzelm
Sat, 17 Sep 2022 23:09:00 +0200
changeset 76188 63a6889c5f91
parent 76187 1a31d1551eb3
child 76189 778152d51e97
provide naproche-20220917;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions 
--- 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
--- 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
isabelle