Sat, 10 Oct 2020 20:56:09 +0200 | wenzelm | more libs for build_csdp; | changeset | files |
Sat, 10 Oct 2020 20:31:54 +0200 | wenzelm | support for MSYS2/MinGW64 on Windows; | changeset | files |
Sat, 10 Oct 2020 17:26:23 +0200 | wenzelm | tuned --- according to instructions on Website; | changeset | files |