# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1654615225 -7200
# Node ID 7a289e681454a4453fd4cc9a036076f0840a5e47
# Parent  65ecf4c5b86893e0cc1f3ff3bbd59671142398b0
provide hugo-0.88.1 for darwin and linux;

diff -r 65ecf4c5b868 -r 7a289e681454 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Jun 06 19:39:21 2022 +0200
+++ b/Admin/components/components.sha1	Tue Jun 07 17:20:25 2022 +0200
@@ -102,6 +102,7 @@
 f339234ec18369679be0095264e0c0af7762f351 gnu-utils-20210414.tar.gz
 71259aa46134e6cf2c6473b4fc408051b3336490 gnu-utils-20211030.tar.gz
 683acd94761ef460cca1a628f650355370de5afb hol-light-bundle-0.5-126.tar.gz
+511fa8df8be88eb0500032bbd17742d33bdd4636 hugo-0.88.1.tar.gz
 989234b3799fe8750f3c24825d1f717c24fb0214 idea-icons-20210508.tar.gz
 20b53cfc3ffc5b15c1eabc91846915b49b4c0367 isabelle_fonts-20151021.tar.gz
 736844204b2ef83974cd9f0a215738b767958c41 isabelle_fonts-20151104.tar.gz