[arch-commits] Commit in yosys/trunk (PKGBUILD)
Filipe Laíns
ffy00 at gemini.archlinux.org
Sat Sep 3 20:23:54 UTC 2022
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 <killruana at 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 \
More information about the arch-commits
mailing list