DIST kissat-3.1.1.tar.gz 471004 BLAKE2B ce98105f2701e9dfab8dc555ace2d6891015e25bd23f09c1b2706ddb757f7580a555bdc20340d6880f2c4a0c786a71fd16466ab06a9c7499c81e4832665ce6c3 SHA512 f1f1e20a48a682ba5e0cbc938136421a95131e4bde058002ee2ab763f565105765a63d4c0d031f84b76a0bed4d5902a8120666c9a98fc541acb68009f6e503ed
DIST kissat-4.0.4.gh.tar.gz 532329 BLAKE2B cb77022b27fabdabe4a1ce58c84f41dd6035811068a2c15e912b7550ea4b29ab0f6ccfec1ec4936e237daffedd62c9719b7a72c4d6dc1557d74b9a55ac58d602 SHA512 b719e720dfe130690616c0ccece2d3d05c36947e3d3edc23781b42dbb328ba127a7341c1be1c9ba94658bafe14fd576c8efc2436bbc559e7bb17eed85946dfed