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.
update naproche component;
authorwenzelm
Tue, 18 Oct 2022 11:31:35 +0200
changeset 76334 561d501598f2
parent 76333 c56997fab437
child 76335 8641f16abc7a
child 76342 65c5373f84b1
update naproche component;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Tue Oct 18 10:53:55 2022 +0200
+++ b/Admin/Release/CHECKLIST	Tue Oct 18 11:31:35 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-20221002.tar.gz -p linux,windows -l
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p linux,windows -l
 
   #with access Apple ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221002.tar.gz -p macos
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p macos
 
   #with access Linux ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221002.tar.gz -p linux_arm
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p linux_arm
 
 - Docker image:
 
--- a/Admin/components/components.sha1	Tue Oct 18 10:53:55 2022 +0200
+++ b/Admin/components/components.sha1	Tue Oct 18 11:31:35 2022 +0200
@@ -294,6 +294,7 @@
 516b3714e56b708bc291bb0a592ea89de39ac894 naproche-20220910.tar.gz
 c695a038197477b69180917ee17ec2d92142e8f2 naproche-20220917.tar.gz
 0b5a3161a18045540ab618249ba85a464c1fce66 naproche-20221002.tar.gz
+48e9d4cbf95626c8e3013bee86ff82e67df6cefd naproche-20221018.tar.gz
 d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
 4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
 77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz
isabelle