guix_mirror_bot pushed a commit to branch master
in repository guix.
commit 10ae732c1b13edde017b985e9f0f324a17e90a13
Author: Cayetano Santos <[email protected]>
AuthorDate: Wed Mar 4 09:09:30 2026 +0100
gnu: abc-yosyshq: Update to 0.63.
* gnu/packages/electronics.scm (abc-yosyshq): Update to 0.63.
Change-Id: Ife42136c03dc3422c64e998e44378c9a2a61dd66
---
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 1e9502cfa4..db7a6d0c5a 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -263,7 +263,7 @@ formal verification.")
(package
(inherit abc)
(name "abc-yosyshq")
- (version "0.62")
+ (version "0.63")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -272,7 +272,7 @@ formal verification.")
(file-name (git-file-name name version))
(sha256
(base32
- "1f3nza8w5r0z2pkngf5iyqgrl23l5qqr7d4gkh3grs72wrrrbmyz"))))
+ "1nwj4zhjqjgvb7fh877j51kfccwzrc591ag25qm9jirycgq1cqx6"))))
(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.")
