--- a/Admin/components/components.sha1 Tue Oct 10 12:57:01 2023 +0200
+++ b/Admin/components/components.sha1 Tue Oct 10 13:15:32 2023 +0200
@@ -115,6 +115,7 @@
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
989234b3799fe8750f3c24825d1f717c24fb0214 idea-icons-20210508.tar.gz
20b53cfc3ffc5b15c1eabc91846915b49b4c0367 isabelle_fonts-20151021.tar.gz