Date: Sunday, September 18, 2022 @ 03:06:49 Author: foutrelis Revision: 1304766
Refresh checksum Modified: yosys/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-09-18 03:02:50 UTC (rev 1304765) +++ PKGBUILD 2022-09-18 03:06:49 UTC (rev 1304766) @@ -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=('c1ae62e55928f26ff6142e9291cbd9b593b39f755d0294b4441bc66fa0eeec90bd71014495e54b5b9530ce609af8b007c755096295a0f7599c739535316c929b') +sha512sums=('c26ef7687f2395621ac77c8ebc0f94d55c2185cf120bac84245a60d1111e7a81e472804a038c390e158ca3130c63b5d5e90bbef672e9d1af431cb12c33148690') _make() { make \