PRGNAM="kissat" VERSION="3.1.1" HOMEPAGE="https://github.com/arminbiere/kissat" DOWNLOAD="https://github.com/arminbiere/kissat/archive/refs/tags/rel-3.1.1.tar.gz" MD5SUM="601d796884d5e9efe2af78dfe77d73ba" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" MAINTAINER="Caterino Tommaso, T.O.P." EMAIL="alan_NaverOsa@lavSaPbiAtM.com (remove capital letters)"