--- 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)