| Thu, 21 Mar 2019 12:38:06 +0100 | wenzelm | updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4; | changeset | files |
| Wed, 20 Mar 2019 23:06:51 +0100 | wenzelm | updated to cygwin-20190320; | changeset | files |
| Wed, 20 Mar 2019 22:41:50 +0100 | wenzelm | updated to Cygwin 3.0.4 (approximation for Isabelle2019); | changeset | files |