| Tue, 11 May 2021 16:30:24 +0200 | wenzelm | clarified platforms; | file | diff | annotate |
| Tue, 11 May 2021 13:06:36 +0200 | wenzelm | clarified platforms; | file | diff | annotate |
| Thu, 01 Oct 2020 16:31:22 +0200 | wenzelm | more systematic platform support, including arm64-linux; | file | diff | annotate |
| Wed, 30 Sep 2020 23:31:18 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 29 Sep 2020 20:00:59 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 29 Sep 2020 19:54:59 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 29 Sep 2020 19:49:25 +0200 | wenzelm | formal platform information, notably for ssh; | file | diff | annotate |