Date: Tuesday, May 16, 2023 @ 18:21:58
Author: arojas
Revision: 1462026
upgpkg: yosys 0.25-1: Update to 0.25
Modified:
yosys/trunk/PKGBUILD
----------+
PKGBUILD | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2023-05-16 18:05:10 UTC (rev 1462025)
+++ PKGBUILD 2023-05-16 18:21:58 UTC (rev 1462026)
@@ -3,8 +3,8 @@
# Contributor: killruana <killru...@gmail.com>
pkgname=yosys
-pkgver=0.24
-pkgrel=4
+pkgver=0.25
+pkgrel=1
pkgdesc='A framework for RTL synthesis'
arch=('x86_64')
url='https://yosyshq.net/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=('f345267e42e879a4629d731414c51e86585e1d80accf9920799f65a771b3ce22632c04317c6db87fa786ba6efe8c4cfdb5ea3079c131932488c294136887cbee')
+sha512sums=('13acce6d9150dcaaa875fcb700b630eac4c17d1655918e98c61e058f644addf91591d3326af08e13691643d2130484b153920a3322db9f288e6eb11d0f7ac103')
_make() {
local python_version=$(python -c 'import sys; print(".".join(map(str,
sys.version_info[:2])))')
