| Sat, 10 Oct 2020 17:26:23 +0200 | wenzelm | tuned --- according to instructions on Website; | changeset | files |
| Sat, 10 Oct 2020 14:59:43 +0200 | wenzelm | updated to csdp-6.1.1, with support for arm64-linux; | changeset | files |
| Sat, 10 Oct 2020 14:46:13 +0200 | wenzelm | proper support for x86_64-windows via msys/mingw64; | changeset | files |