wangliu-iscas/guix-mirror
1
0
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2026-05-13 15:03:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

gnu: abc-yosyshq: Update to 0.59.

Browse Source 
* gnu/packages/electronics.scm (abc-yosyshq): Update to 0.59.

Change-Id: I5c8e346bbb3624bd5ad9efd0e10f4dda21044044
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
Cayetano Santos
2025-11-11 10:23:24 +01:00
committed by Ludovic Courtès
parent ba910c7b87
commit 75d6025400
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
gnu/packages/electronics.scm
View File

@@ -241,7 +241,7 @@ formal verification.")
(package
(inherit abc)
(name "abc-yosyshq")
(version "0.58")
(version "0.59")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -250,7 +250,7 @@ formal verification.")
(file-name (git-file-name name version))
(sha256
(base32
"191hsznsmsjn8100n50qsh3ng8wgrnyfhr7qcnb8yskiwqp37pjh"))))
"110hvmwspp7bprwwilcwb8kw6wcqrj9z214269fa75j9027k5l0c"))))
(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.")