Bumpped sby version to 20240411_yosys_0.40_2_g415f404

This commit is contained in:
Aki Van Ness 2024-04-11 08:12:20 +02:00
parent d895229ec2
commit b6498df394

View file

@ -1,7 +1,7 @@
# Maintainer: Aki-nyan <aur@catgirl.link>
pkgname=sby-nightly
pkgver=@SBY_VER@
pkgver=@EDA_VER@
pkgrel=1
epoch=1
pkgdesc="Front-end for Yosys-based formal verification flows"
@ -20,7 +20,7 @@ makedepends=("git")
conflicts=("symbiyosys-git")
replaces=("symbiyosys-nightly")
source=(
"sby::git+https://github.com/YosysHQ/sby.git#commit=@SBY_HASH@"
"sby::git+https://github.com/YosysHQ/sby.git#commit=@EDA_HASH@"
)
sha256sums=(
"SKIP"