From b6498df394fa860633e2e84031119d77bd15abaf Mon Sep 17 00:00:00 2001 From: Aki Van Ness Date: Thu, 11 Apr 2024 08:12:20 +0200 Subject: [PATCH] Bumpped sby version to 20240411_yosys_0.40_2_g415f404 --- PKGBUILD.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/PKGBUILD.in b/PKGBUILD.in index dcd7708b0e4c..06ca31b7f432 100644 --- a/PKGBUILD.in +++ b/PKGBUILD.in @@ -1,7 +1,7 @@ # Maintainer: Aki-nyan 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"