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_cygwin.scala
changeset 83493 c485d66e5a6e
parent 81755 1609254b74c5 
--- a/src/Pure/Admin/component_cygwin.scala	Mon Nov 03 19:32:52 2025 +0100
+++ b/src/Pure/Admin/component_cygwin.scala	Mon Nov 03 21:09:20 2025 +0100
@@ -8,7 +8,7 @@
 
 
 object Component_Cygwin {
-  val default_mirror: String = "https://isabelle.sketis.net/cygwin_2025"
+  val default_mirror: String = "https://isabelle.sketis.net/cygwin_2025-1"
 
   val packages: List[String] = List("curl", "libgmp-devel", "nano", "openssh", "perl")
isabelle