summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorManuel Wiesinger2024-03-23 15:25:29 +0100
committerManuel Wiesinger2024-03-23 15:25:29 +0100
commit554f08b5fb848419916bf791d2264356053b83b3 (patch)
tree61e16e33edbff2079a596c645791ee8977f248b2
parent9864f02dbefb6434817189b939dc06d954e4a74c (diff)
downloadaur-554f08b5fb848419916bf791d2264356053b83b3.tar.gz
pkgrel++
Diffstat
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
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"