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-20221002;
authorwenzelm
Sun, 02 Oct 2022 16:05:34 +0200
changeset 76238 2a052820523d
parent 76237 0a44395a25f0
child 76239 d042947e47a3
provide naproche-20221002;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Sat Oct 01 21:58:08 2022 +0200
+++ b/Admin/Release/CHECKLIST	Sun Oct 02 16:05:34 2022 +0200
@@ -73,13 +73,13 @@
 - regular packaging:
 
   #on fast Linux machine, with access to Linux + Windows build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p linux,windows -l
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221002.tar.gz -p linux,windows -l
 
   #with access Apple ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p macos
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221002.tar.gz -p macos
 
   #with access Linux ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p linux_arm
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221002.tar.gz -p linux_arm
 
 - Docker image:
 
--- a/Admin/components/components.sha1	Sat Oct 01 21:58:08 2022 +0200
+++ b/Admin/components/components.sha1	Sun Oct 02 16:05:34 2022 +0200
@@ -292,6 +292,7 @@
 5a8a59132476ae75cfddefc98781db55f18ed82c naproche-20220808.tar.gz
 516b3714e56b708bc291bb0a592ea89de39ac894 naproche-20220910.tar.gz
 c695a038197477b69180917ee17ec2d92142e8f2 naproche-20220917.tar.gz
+0b5a3161a18045540ab618249ba85a464c1fce66 naproche-20221002.tar.gz
 d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
 4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
 77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz
isabelle