| Thu, 21 Mar 2019 12:41:58 +0100 | wenzelm | prefer central root: just one copy of this bulky material; | changeset | files |
| 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 |