Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/component_hugo.scala
changeset 82030 bae948b1132b
parent 79975 90f4319c8b4f 
--- 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,
isabelle