mirror/aur
1
0
Fork 0
mirror of https://github.com/archlinux/aur.git synced 2026-01-27 20:28:31 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

pkgrel++

Browse source
This commit is contained in:
Manuel Wiesinger 2024-03-23 15:25:29 +01:00
parent 9864f02dbe
commit 554f08b5fb
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.SRCINFO
View file

@ -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

2
PKGBUILD
View file

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