Date: Saturday, September 3, 2022 @ 20:23:54 Author: ffy00 Revision: 1292737
upgpkg: yosys 0.20-1 Modified: yosys/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-09-03 20:17:20 UTC (rev 1292736) +++ PKGBUILD 2022-09-03 20:23:54 UTC (rev 1292737) @@ -3,8 +3,8 @@ # Contributor: killruana <killru...@gmail.com> pkgname=yosys -pkgver=0.12 -pkgrel=7 +pkgver=0.20 +pkgrel=1 pkgdesc='A framework for RTL synthesis' arch=('x86_64') url='http://www.clifford.at/yosys/' @@ -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=('df91ea75ae08c7c7e134cfa6284c4e9349e6f85f2df32e4710a571176d5e1a334a6e1e77d52bf573686d33b405559e40af1a8d42cbd4e1f95f0e3b4e212e0b06') +sha512sums=('c1ae62e55928f26ff6142e9291cbd9b593b39f755d0294b4441bc66fa0eeec90bd71014495e54b5b9530ce609af8b007c755096295a0f7599c739535316c929b') _make() { make \