run "isabelle components_build -u";
authorwenzelm
Wed, 27 Mar 2024 14:20:06 +0100
changeset 80029 a2d15ad6877a
parent 80028 38bbc2ff3c24
child 80030 5c00c04f09fb
run "isabelle components_build -u";
Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Mar 27 13:41:08 2024 +0100
+++ b/Admin/components/components.sha1	Wed Mar 27 14:20:06 2024 +0100
@@ -23,6 +23,7 @@
 7a92beb20d92cc71cabc8585d445f390b0749313 bash_process-20240326.tar.gz
 a65ce644b6094d41e9f991ef851cf05eff5dd0a9 bib2xhtml-20171221.tar.gz
 4085dd6060a32d7e0d2e3f874c463a9964fd409b bib2xhtml-20190409.tar.gz
+dd6abfacab3f675ddc09376c6b66ce21448b1116 cakeml-2.0-1-test-nopie.tar.gz
 f92cff635dfba5d4d77f469307369226c868542c cakeml-2.0.tar.gz
 e7ffe4238b61a3c1ee87aca4421e7a612e09b836 ci-extras-1.tar.gz
 81ff56cd379744d1965425c7624feefffdf381eb ci-extras-2.tar.gz
@@ -118,7 +119,6 @@
 b1c40ce6c087da7e70e221ddd3fcadfa569acb2f foiltex-2.1.4b.tar.gz
 f339234ec18369679be0095264e0c0af7762f351 gnu-utils-20210414.tar.gz
 71259aa46134e6cf2c6473b4fc408051b3336490 gnu-utils-20211030.tar.gz
-c489cae2a96ce18bec813d2eb1f528c88006382a go-1.21.0-v1.tar.gz
 683acd94761ef460cca1a628f650355370de5afb hol-light-bundle-0.5-126.tar.gz
 c947c751810777a4a7668d1b1b92942f178bb7b5 hugo-0.119.0.tar.gz
 511fa8df8be88eb0500032bbd17742d33bdd4636 hugo-0.88.1.tar.gz