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

Bumpped sby version to 20240907_yosys_0.45

Browse source
This commit is contained in:
Aki Van Ness 2024-09-07 04:14:47 +02:00
parent 6ba46da9a4
commit 1b7b9168fb
3 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
.SRCINFO
View file

@ -10,9 +10,12 @@ pkgbase = sby-nightly
depends = yosys-nightly
depends = python
depends = python-click
optdepends = bitwuzla
optdepends = boolector
optdepends = yices
optdepends = z3
provides = sby
provides = symbiyosys
conflicts = symbiyosys-git
replaces = symbiyosys-nightly
options = !strip

2
PKGBUILD
View file

@ -12,10 +12,12 @@ groups=()
options=("!strip")
depends=("yosys-nightly" "python" "python-click")
optdepends=(
"bitwuzla"
"boolector"
"yices"
"z3"
)
provides=("sby" "symbiyosys")
makedepends=("git")
conflicts=("symbiyosys-git")
replaces=("symbiyosys-nightly")

2
PKGBUILD.in
View file

@ -12,10 +12,12 @@ groups=()
options=("!strip")
depends=("yosys-nightly" "python" "python-click")
optdepends=(
"bitwuzla"
"boolector"
"yices"
"z3"
)
provides=("sby" "symbiyosys")
makedepends=("git")
conflicts=("symbiyosys-git")
replaces=("symbiyosys-nightly")