--- a/Admin/components/components.sha1 Wed Mar 27 15:01:38 2024 +0100
+++ b/Admin/components/components.sha1 Wed Mar 27 15:38:41 2024 +0100
@@ -176,6 +176,7 @@
cb9f061ccd7c6f90d00c8aa115aeea8679f3f996 isabelle_setup-20221028.tar.gz
f582c621471583d06e00007c6acc01376c7395af isabelle_setup-20230206.tar.gz
d30109fe63cec35c31cee9ffd17ae3a13c1e6a33 isabelle_setup-20230922.tar.gz
+cd92c141883f0f6a18adceb885316c8b6119e648 isabelle_setup-20240327.tar.gz
f23037b322b968c61350f9ec9995a4f397e6c71c javamail-1.4.7.tar.gz
18e6b60ceb98e327fbf14e52f4613dd5b0483d2f javamail-20240109.tar.gz
0b2206f914336dec4923dd0479d8cee4b904f544 jdk-11+28.tar.gz