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.
support arm64-linux;
authorwenzelm
Wed, 30 Sep 2020 13:40:42 +0000
changeset 72345 14be5c341377
parent 72344 728da67527b9
child 72346 93e533198bf6
support arm64-linux;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Wed Sep 30 13:20:33 2020 +0000
+++ b/Admin/components/components.sha1	Wed Sep 30 13:40:42 2020 +0000
@@ -10,6 +10,7 @@
 bb9ef498cd594b4289221b96146d529c899da209  bash_process-1.1.tar.gz
 81250148f8b89ac3587908fb20645081d7f53207  bash_process-1.2.1.tar.gz
 97b2491382130a841b3bbaebdcf8720c4d4fb227  bash_process-1.2.2.tar.gz
+5c5b7c18cc1dc2a4d22b997dac196da09eaca868  bash_process-1.2.3-1.tar.gz
 48b01bd9436e243ffcb7297f08b498d0c0875ed9  bash_process-1.2.3.tar.gz
 9e21f447bfa0431ae5097301d553dd6df3c58218  bash_process-1.2.tar.gz
 a65ce644b6094d41e9f991ef851cf05eff5dd0a9  bib2xhtml-20171221.tar.gz
--- a/Admin/components/main	Wed Sep 30 13:20:33 2020 +0000
+++ b/Admin/components/main	Wed Sep 30 13:40:42 2020 +0000
@@ -1,5 +1,5 @@
 #main components for everyday use, without big impact on overall build time
-bash_process-1.2.3
+bash_process-1.2.3-1
 bib2xhtml-20190409
 csdp-6.1-1
 cvc4-1.5-5
isabelle