| Thu, 20 Aug 2020 15:45:22 +0200 | wenzelm | update to kodkodi-1.5.4-1; | changeset | files |
| Thu, 20 Aug 2020 14:22:49 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 19 Aug 2020 20:14:41 +0200 | wenzelm | more realistic kodkod invocation, imitating command-line tool; | changeset | files |