| Mon, 28 Jun 2021 13:45:46 +0200 | wenzelm | clarified modules; | changeset | files |
| Mon, 28 Jun 2021 13:13:31 +0200 | wenzelm | updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0; | changeset | files |
| Mon, 28 Jun 2021 12:29:00 +0200 | wenzelm | clarified environment (amending 9444489766a1); | changeset | files |