Date: Monday, December 19, 2022 @ 18:13:06 Author: felixonmars Revision: 1361768
upgpkg: yosys 0.24-1 Modified: yosys/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-12-19 18:13:05 UTC (rev 1361767) +++ PKGBUILD 2022-12-19 18:13:06 UTC (rev 1361768) @@ -3,7 +3,7 @@ # Contributor: killruana <[email protected]> pkgname=yosys -pkgver=0.23 +pkgver=0.24 pkgrel=1 pkgdesc='A framework for RTL synthesis' arch=('x86_64') @@ -19,7 +19,7 @@ 'z3: alternative solver for yosys-smtbmc') options=('!lto') # getting SIGSEGV when running the tests with LTO source=("https://github.com/cliffordwolf/yosys/archive/$pkgname-$pkgver.tar.gz";) -sha512sums=('63efce6d64367a0f3f14003d6bdae1621ba6d12dc358d46d765c4f6bc960ed1fd4e78e60a100685b3c8ad751be2120cbd68de1cfda128681aeb9d24172b3f24d') +sha512sums=('f345267e42e879a4629d731414c51e86585e1d80accf9920799f65a771b3ce22632c04317c6db87fa786ba6efe8c4cfdb5ea3079c131932488c294136887cbee') _make() { make \
