diff --git a/.SRCINFO b/.SRCINFO index e28707d1c818..fe947c2e95f4 100644 --- a/.SRCINFO +++ b/.SRCINFO @@ -1,7 +1,7 @@ pkgbase = kissat pkgdesc = A keep it simple and clean bare metal SAT solver written in C pkgver = 3.1.1 - pkgrel = 1 + pkgrel = 2 url = https://fmv.jku.at/kissat arch = x86_64 license = MIT diff --git a/PKGBUILD b/PKGBUILD index e14b0970349f..075d812bd74c 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -2,7 +2,7 @@ pkgname=kissat pkgver=3.1.1 -pkgrel=1 +pkgrel=2 pkgdesc="A keep it simple and clean bare metal SAT solver written in C" arch=('x86_64') url="https://fmv.jku.at/kissat"