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

4.0.2 -> 4.0.3

Browse source
This commit is contained in:
Manuel Wiesinger 2025-06-30 10:35:26 +02:00
parent be4049c593
commit 0dccdac83f
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.2
pkgver = 4.0.3
pkgrel = 1
url = https://fmv.jku.at/kissat
arch = x86_64
license = MIT
depends = glibc
conflicts = kitty
source = kissat-4.0.2.tar.gz::https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.2.tar.gz
b2sums = 7b36083b55fc2cad7d5607d552b3624347db4831061d6c2481da4361719b3e53bfc58974129bbd4663b3c267477526e433923658c80122d8da5121f5eed36038
source = kissat-4.0.3.tar.gz::https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.3.tar.gz
b2sums = f098e70db9f054b250893615c9ca76061b9f2bf961878be21f7fb7f0844836e95beba132d1ee875810b4b7acb2bc9a3ffa271be2fc58c3911f89ebc6fd011d5f
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.2
pkgver=4.0.3
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=('7b36083b55fc2cad7d5607d552b3624347db4831061d6c2481da4361719b3e53bfc58974129bbd4663b3c267477526e433923658c80122d8da5121f5eed36038')
b2sums=('f098e70db9f054b250893615c9ca76061b9f2bf961878be21f7fb7f0844836e95beba132d1ee875810b4b7acb2bc9a3ffa271be2fc58c3911f89ebc6fd011d5f')
build() {
cd "${srcdir}/${_srcname}"