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 77794 89e4971df810
parent 77717 6a2daddc238c
child 78158 8b5a2e4b16d4 
--- a/src/Pure/Admin/component_cygwin.scala	Sat Apr 08 19:34:51 2023 +0200
+++ b/src/Pure/Admin/component_cygwin.scala	Sat Apr 08 19:36:03 2023 +0200
@@ -10,8 +10,7 @@
 object Component_Cygwin {
   val default_mirror: String = "https://isabelle.sketis.net/cygwin_2022"
 
-  val packages: List[String] =
-    List("curl", "libgmp-devel", "nano", "openssh", "rsync")
+  val packages: List[String] = List("curl", "libgmp-devel", "nano", "openssh")
 
   def build_cygwin(
     target_dir: Path = Path.current,
isabelle