Kripke 1.2.0

pts/kripke-1.2.0 - 18 June 2023 - Update against v1.2.6 upstream.

downloads.xml

install.sh

results-definition.xml

test-definition.xml