Thu, 07 Oct 2021 20:53:24 +0200 | wenzelm | updated to kodkodi-1.5.7. with more robust/portable management of files and processes; | changeset | files |
Thu, 07 Oct 2021 14:02:18 +0200 | wenzelm | provide minisat-2.2.1 on all currently supported platforms, notably as external solver for Nitpick; | changeset | files |