From 74df560e622f46a8e1280e375b707c8eaae78b55 Mon Sep 17 00:00:00 2001 From: Cayetano Santos Date: Tue, 13 Jan 2026 10:50:20 +0100 Subject: [PATCH] gnu: abc-yosyshq: Update to 0.61. * gnu/packages/electronics.scm (abc-yosyshq): Update to 0.61. Change-Id: Ic69e6f372c7c26c3d5547863d63540d23b80680c --- gnu/packages/electronics.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index cab96c5a316..5cc15e2c401 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -251,7 +251,7 @@ formal verification.") (package (inherit abc) (name "abc-yosyshq") - (version "0.60") + (version "0.61") (source (origin (method git-fetch) (uri (git-reference @@ -260,7 +260,7 @@ formal verification.") (file-name (git-file-name name version)) (sha256 (base32 - "0yays5yznwm1mngda78w465l9djw4128hgn24lf76gzripkpsz92")))) + "0x6662719qdybkd46vh9aq3p20xngwn9g81155j96a4r6jdqm1js")))) (home-page "https://github.com/YosysHQ/abc/") (description "ABC is a program for sequential logic synthesis and formal verification. This is the Yosyshq fork of ABC.")