| Sat, 23 Mar 2019 17:10:53 +0100 | wenzelm | updated docker setup: lib32stdc++6 is no longer required for polyml-5.8, libfontconfig1 is required for headless jdk-11; | file | diff | annotate |
| Wed, 06 Mar 2019 21:44:30 +0100 | wenzelm | proper option (amending cc0b3e177b49); | file | diff | annotate |
| Mon, 06 Aug 2018 15:43:36 +0200 | wenzelm | updated for release; | file | diff | annotate |
| Mon, 23 Oct 2017 19:30:39 +0200 | wenzelm | updated to jdk-8u152, which is for x86_64 only; | file | diff | annotate |
| Sun, 08 Oct 2017 14:52:06 +0200 | wenzelm | build_docker is regular tool (non-admin); | file | diff | annotate | base |