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 bump for gcc 14 rebuild

Browse source 
https://archlinux.org/todo/rebuild-packages-against-gcc-131-to-circumvent-issues-with-lto/
This commit is contained in:
Manuel Wiesinger 2024-05-14 18:53:30 +01:00
parent 554f08b5fb
commit 4d9c0385b9
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 = 2
pkgrel = 3
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=2
pkgrel=3
pkgdesc="A keep it simple and clean bare metal SAT solver written in C"
arch=('x86_64')
url="https://fmv.jku.at/kissat"