tree 62bc77fc0c189aba68955ef2e45b8961109afd76
parent 88d063ae5be76c564669197a4a1d7ab902d6a3e7
author Akron <nils@diewald-online.de> 1654692309 +0200
committer Akron <nils@diewald-online.de> 1654692309 +0200

Update NKJP test suite to use recent version of KolakowskiOco

Change-Id: Ia88d191fb06dc3c7d5a243ba8e2f6eda27c69d31