tarball=kissat-rel-VERSION.tar.gz
sha1=05e01db814f26b9307423674928c39761631fdd4
sha256=a8e58a70ebac09ccc0ba1465a69cfb9b31e562167d42df7535270d2733c386d7
upstream_url=https://github.com/arminbiere/kissat/archive/refs/tags/rel-VERSION.tar.gz
