Date: Saturday, December 3, 2022 @ 17:39:07 Author: arojas Revision: 1356360
upgpkg: yosys 0.23-1: Update to 0.23 Modified: yosys/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-12-03 17:37:05 UTC (rev 1356359) +++ PKGBUILD 2022-12-03 17:39:07 UTC (rev 1356360) @@ -3,7 +3,7 @@ # Contributor: killruana <[email protected]> pkgname=yosys -pkgver=0.22 +pkgver=0.23 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=('d546196a6875b0ecaaab44437b5691f08890576eed357ac99dce233a0afd352a56742f5286da406e4e5513be32db99811fc6caa7a7a605a94af3903670fbf616') +sha512sums=('63efce6d64367a0f3f14003d6bdae1621ba6d12dc358d46d765c4f6bc960ed1fd4e78e60a100685b3c8ad751be2120cbd68de1cfda128681aeb9d24172b3f24d') _make() { make \
