--- a/Admin/components/components.sha1 Tue Apr 15 21:32:50 2025 +0200
+++ b/Admin/components/components.sha1 Tue Apr 15 23:38:33 2025 +0200
@@ -139,6 +139,7 @@
964fb17e87f7a7e8a91895a696f7d059164ae742 hugo-0.142.0.tar.gz
511fa8df8be88eb0500032bbd17742d33bdd4636 hugo-0.88.1.tar.gz
989234b3799fe8750f3c24825d1f717c24fb0214 idea-icons-20210508.tar.gz
+d7f72e7ef6e24ddf3b0d433d35b68658cabd1d88 idea-icons-20250415.tar.gz
20b53cfc3ffc5b15c1eabc91846915b49b4c0367 isabelle_fonts-20151021.tar.gz
736844204b2ef83974cd9f0a215738b767958c41 isabelle_fonts-20151104.tar.gz
9502c1aea938021f154adadff254c5c55da344bd isabelle_fonts-20151106.tar.gz