diff -r 3f4163b83d4f -r 6a2daddc238c src/Pure/Admin/component_cygwin.scala
--- a/src/Pure/Admin/component_cygwin.scala	Sun Mar 26 19:31:05 2023 +0200
+++ b/src/Pure/Admin/component_cygwin.scala	Sun Mar 26 19:36:00 2023 +0200
@@ -29,7 +29,7 @@
         val cygwin_exe_name = mirror + "/setup-x86_64.exe"
         val cygwin_exe = cygwin_isabelle + Path.explode("cygwin.exe")
         Bytes.write(cygwin_exe,
-          try { Bytes.read(Url(cygwin_exe_name)) }
+          try { Bytes.read_url(cygwin_exe_name) }
           catch { case ERROR(_) => error("Failed to download " + quote(cygwin_exe_name)) })
 
         File.write(cygwin_isabelle + Path.explode("cygwin_mirror"), mirror)