Filipe Laíns pushed to branch main at Arch Linux / Packaging / Packages / yosys
Commits: bc43ccdd by Filipe Laíns at 2024-06-11T01:47:19+01:00 upgpkg: 0.42-1 Signed-off-by: Filipe Laíns <[email protected]> - - - - - 2 changed files: - .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -1,6 +1,6 @@ pkgbase = yosys pkgdesc = A framework for RTL synthesis - pkgver = 0.41 + pkgver = 0.42 pkgrel = 1 url = https://yosyshq.net/yosys/ arch = x86_64 @@ -21,7 +21,7 @@ pkgbase = yosys optdepends = cvc4: alternative solver for yosys-smtbmc optdepends = z3: alternative solver for yosys-smtbmc options = !lto - source = git+https://github.com/YosysHQ/yosys#tag=yosys-0.41 - sha512sums = 5d02ead1710c6fe5c059468173f7f59a8498ffb07002498143c3b6eaa69c79353d6b417b0c37eb63965c66cae73cc5313b9e9f047364c5241f845927d5ac3f83 + source = git+https://github.com/YosysHQ/yosys#tag=yosys-0.42 + sha512sums = cbb7ea5a493ce153d652e84f71599f7976fc6188423d03a5e40ab8376a6c365aa5ad7b67e6dde01b15365c8902f77d3abf72ae03c7be8eb042cf3cb3bc7b7597 pkgname = yosys ===================================== PKGBUILD ===================================== @@ -3,7 +3,7 @@ # Contributor: killruana <[email protected]> pkgname=yosys -pkgver=0.41 +pkgver=0.42 pkgrel=1 pkgdesc='A framework for RTL synthesis' arch=('x86_64') @@ -19,7 +19,7 @@ optdepends=('graphviz: Schematics display support' 'z3: alternative solver for yosys-smtbmc') options=('!lto') # getting SIGSEGV when running the tests with LTO source=(git+https://github.com/YosysHQ/yosys#tag=yosys-$pkgver) -sha512sums=('5d02ead1710c6fe5c059468173f7f59a8498ffb07002498143c3b6eaa69c79353d6b417b0c37eb63965c66cae73cc5313b9e9f047364c5241f845927d5ac3f83') +sha512sums=('cbb7ea5a493ce153d652e84f71599f7976fc6188423d03a5e40ab8376a6c365aa5ad7b67e6dde01b15365c8902f77d3abf72ae03c7be8eb042cf3cb3bc7b7597') _make() { local python_version=$(python -c 'import sys; print(".".join(map(str, sys.version_info[:2])))') View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/yosys/-/commit/bc43ccdd75c1089f6c8016d894c683d617333a62 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/yosys/-/commit/bc43ccdd75c1089f6c8016d894c683d617333a62 You're receiving this email because of your account on gitlab.archlinux.org.
