diff -r 6ed34e2e04dd -r 216c2ac23a84 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Mar 23 11:40:34 2022 +0100
+++ b/Admin/components/components.sha1	Wed Mar 23 12:02:56 2022 +0100
@@ -148,6 +148,7 @@
 309909ec6d43ae460338e9af54c1b2a48adcb1ec  isabelle_setup-20210726.tar.gz
 a14ce46c62c64c3413f3cc9239242e33570d0f3d  isabelle_setup-20210922.tar.gz
 b22066a9dcde6f813352dcf6404ac184440a22df  isabelle_setup-20211109.tar.gz
+91c5d29e9fa40aee015e8e65ffea043e218c2fc5  isabelle_setup-20220323.tar.gz
 0b2206f914336dec4923dd0479d8cee4b904f544  jdk-11+28.tar.gz
 e12574d838ed55ef2845acf1152329572ab0cc56  jdk-11.0.10+9.tar.gz
 3e05213cad47dbef52804fe329395db9b4e57f39  jdk-11.0.2+9.tar.gz