| changeset 76028 | 105867f98630 |
| parent 76027 | 00afd2c233c0 |
| child 76375 | 089e546f671f |
--- a/Admin/components/PLATFORMS Wed Aug 31 21:26:56 2022 +0200 +++ b/Admin/components/PLATFORMS Wed Aug 31 22:51:27 2022 +0200 @@ -45,7 +45,7 @@ arm64-darwin macOS 11 Big Sur x86_64-windows Windows 10 - x86_64-cygwin Cygwin 3.2.x https://isabelle.sketis.net/cygwin_2021-1 (x86_64/release) + x86_64-cygwin Cygwin 3.3.x https://isabelle.sketis.net/cygwin_2022 (x86_64/release) Experimental platforms: