mirror/aur
1
0
Fork 0
mirror of https://github.com/archlinux/aur.git synced 2026-02-03 05:51:25 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

4.0.3 -> 4.0.4

Browse source
This commit is contained in:
Manuel Wiesinger 2025-10-16 20:28:24 +02:00
parent 0dccdac83f
commit 63ba1e9c83
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.SRCINFO
View file

@ -1,13 +1,13 @@
pkgbase = kissat
pkgdesc = A keep it simple and clean bare metal SAT solver written in C
pkgver = 4.0.3
pkgver = 4.0.4
pkgrel = 1
url = https://fmv.jku.at/kissat
arch = x86_64
license = MIT
depends = glibc
conflicts = kitty
source = kissat-4.0.3.tar.gz::https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.3.tar.gz
b2sums = f098e70db9f054b250893615c9ca76061b9f2bf961878be21f7fb7f0844836e95beba132d1ee875810b4b7acb2bc9a3ffa271be2fc58c3911f89ebc6fd011d5f
source = kissat-4.0.4.tar.gz::https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.4.tar.gz
b2sums = cb77022b27fabdabe4a1ce58c84f41dd6035811068a2c15e912b7550ea4b29ab0f6ccfec1ec4936e237daffedd62c9719b7a72c4d6dc1557d74b9a55ac58d602
pkgname = kissat

4
PKGBUILD
View file

@ -1,7 +1,7 @@
# Maintainer: Manuel Wiesinger <m {you know what belongs here} mmap {and here} at>
pkgname=kissat
pkgver=4.0.3
pkgver=4.0.4
pkgrel=1
pkgdesc="A keep it simple and clean bare metal SAT solver written in C"
arch=('x86_64')
@ -11,7 +11,7 @@ depends=('glibc')
conflicts=('kitty')
_srcname="${pkgname}-rel-${pkgver}"
source=("$pkgname-$pkgver.tar.gz::https://github.com/arminbiere/kissat/archive/refs/tags/rel-${pkgver}.tar.gz")
b2sums=('f098e70db9f054b250893615c9ca76061b9f2bf961878be21f7fb7f0844836e95beba132d1ee875810b4b7acb2bc9a3ffa271be2fc58c3911f89ebc6fd011d5f')
b2sums=('cb77022b27fabdabe4a1ce58c84f41dd6035811068a2c15e912b7550ea4b29ab0f6ccfec1ec4936e237daffedd62c9719b7a72c4d6dc1557d74b9a55ac58d602')
build() {
cd "${srcdir}/${_srcname}"