| Fri, 19 May 2017 18:10:19 +0200 | wenzelm | suppress ANSI control sequences in Scala console; | changeset | files |
| Fri, 19 May 2017 16:43:11 +0200 | wenzelm | updated to scala-2.12.2; | changeset | files |
| Fri, 19 May 2017 16:14:24 +0200 | wenzelm | updated to jdk-8u131; | changeset | files |
| Fri, 19 May 2017 16:05:33 +0200 | wenzelm | updated to xz-java-1.6; | changeset | files |