Date: Saturday, November 5, 2022 @ 23:52:15 Author: felixonmars Revision: 1342599
upgpkg: yosys 0.22-1 Modified: yosys/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-11-05 23:44:36 UTC (rev 1342598) +++ PKGBUILD 2022-11-05 23:52:15 UTC (rev 1342599) @@ -3,7 +3,7 @@ # Contributor: killruana <[email protected]> pkgname=yosys -pkgver=0.21 +pkgver=0.22 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=('c4f68696fb93dffd73c4e78cf920bbf7d61cb390b8ffef08c33931e5477ce80d8f343dc345eb69f3b9f2f41b1a25e99cab88166c30c619c53450377985fc432a') +sha512sums=('d546196a6875b0ecaaab44437b5691f08890576eed357ac99dce233a0afd352a56742f5286da406e4e5513be32db99811fc6caa7a7a605a94af3903670fbf616') _make() { make \
