From 6ec183bbc38101bb6d469f26da4ff2f7d0f65b53 Mon Sep 17 00:00:00 2001 From: Cayetano Santos Date: Wed, 8 Oct 2025 10:06:03 +0200 Subject: [PATCH] gnu: symbiyosys/yosys/abc-yosyshq: Update to 0.58. * gnu/packages/electronics.scm (symbiyosys/yosys/abc-yosyshq): Update to 0.58. Change-Id: If3c74f9b63228e3c291bbcc9de1e43dec67cf709 Signed-off-by: Maxim Cournoyer --- gnu/packages/electronics.scm | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index db8285cf2934d4dbebb89eacdb00e49f36622b22..77b56f665aeb94a838711a0d44b9d7b74c9e757d 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -236,7 +236,7 @@ formal verification.") (package (inherit abc) (name "abc-yosyshq") - (version "0.57") + (version "0.58") (source (origin (method git-fetch) (uri (git-reference @@ -2195,7 +2195,7 @@ them usable as simple logic analyzer and/or oscilloscope hardware.") (define-public symbiyosys (package (name "symbiyosys") - (version "0.57") + (version "0.58") (source (origin (method git-fetch) @@ -2204,7 +2204,7 @@ them usable as simple logic analyzer and/or oscilloscope hardware.") (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "0w95svb9vgvfqbbvqaq6jkia5jldbai9l7r8nrx93wcfrm82r36x")))) + (base32 "0fja71y1wkqdwc3cwwk9ifaf33hhnxr8khlj9fhadbcc66rg1s56")))) (build-system gnu-build-system) (arguments (list @@ -2417,7 +2417,7 @@ support for ESD sources.") (define-public yosys (package (name "yosys") - (version "0.57") + (version "0.58") (source (origin (method git-fetch) @@ -2425,7 +2425,7 @@ support for ESD sources.") (url "https://github.com/YosysHQ/yosys") (commit (string-append "v" version)))) (sha256 - (base32 "0bix5zlv9zp9fxqpn9l9bdw65xrgih5w0csq1xkkhm2c7p3vqjbb")) + (base32 "13095d587dvnj6n1fhw5whda7qhafmmng0qz6qa52cdxriz63kka")) (file-name (git-file-name name version)))) (build-system gnu-build-system) (arguments