path: root/academic/kissat/kissat.info

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)"