mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-22 19:44:21 +01:00
10 lines
354 B
Text
10 lines
354 B
Text
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)"
|