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/build_cygwin.scala
changeset 73436 e92f2e44e4d8
parent 73340 0ffcad1f6130
child 73649 029de1598940 
--- a/src/Pure/Admin/build_cygwin.scala	Sun Mar 14 20:29:26 2021 +0100
+++ b/src/Pure/Admin/build_cygwin.scala	Sun Mar 14 21:02:34 2021 +0100
@@ -12,7 +12,7 @@
   val default_mirror: String = "https://isabelle.sketis.net/cygwin_2021"
 
   val packages: List[String] =
-    List("curl", "libgmp-devel", "nano", "perl", "perl-libwww-perl", "rlwrap", "unzip")
+    List("curl", "libgmp-devel", "nano", "perl", "rlwrap", "unzip")
 
   def build_cygwin(progress: Progress,
     mirror: String = default_mirror,
isabelle