# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1738418439 -3600
# Node ID bae948b1132b9b4bbe5bba188ffcc5e8e3e93385
# Parent  a060be5f01b4e9435eafeb061e7efa8c64751d4c
clarified platforms;
update to hugo-0.142.0;

diff -r a060be5f01b4 -r bae948b1132b Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Jan 31 23:03:45 2025 +0100
+++ b/Admin/components/components.sha1	Sat Feb 01 15:00:39 2025 +0100
@@ -128,6 +128,7 @@
 71259aa46134e6cf2c6473b4fc408051b3336490 gnu-utils-20211030.tar.gz
 683acd94761ef460cca1a628f650355370de5afb hol-light-bundle-0.5-126.tar.gz
 c947c751810777a4a7668d1b1b92942f178bb7b5 hugo-0.119.0.tar.gz
+964fb17e87f7a7e8a91895a696f7d059164ae742 hugo-0.142.0.tar.gz
 511fa8df8be88eb0500032bbd17742d33bdd4636 hugo-0.88.1.tar.gz
 989234b3799fe8750f3c24825d1f717c24fb0214 idea-icons-20210508.tar.gz
 20b53cfc3ffc5b15c1eabc91846915b49b4c0367 isabelle_fonts-20151021.tar.gz
diff -r a060be5f01b4 -r bae948b1132b src/Pure/Admin/component_hugo.scala
--- a/src/Pure/Admin/component_hugo.scala	Fri Jan 31 23:03:45 2025 +0100
+++ b/src/Pure/Admin/component_hugo.scala	Sat Feb 01 15:00:39 2025 +0100
@@ -24,7 +24,6 @@
 
   val platforms: List[Download_Platform] =
     List(
-      Download_Platform("arm64-linux", "hugo_extended_{V}_linux-arm64.tar.gz"),
       Download_Platform("x86_64-darwin", "hugo_extended_{V}_darwin-universal.tar.gz"),
       Download_Platform("x86_64-linux", "hugo_extended_{V}_linux-amd64.tar.gz"),
       Download_Platform("x86_64-windows", "hugo_extended_{V}_windows-amd64.zip"))
@@ -33,7 +32,7 @@
   /* build hugo */
 
   val default_url = "https://github.com/gohugoio/hugo/releases/download"
-  val default_version = "0.119.0"
+  val default_version = "0.142.0"
 
   def build_hugo(
     base_url: String = default_url,