097561378f113ea01175a9e99e2f5b32  kissat-4.0.2-x86_64-1_slackdce.txz