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 \

Reply via email to