bartronx7/guix
1
0
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2026-01-25 03:55:08 -06:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: abc-yosyshq: Update to 0.61.

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

Change-Id: Ic69e6f372c7c26c3d5547863d63540d23b80680c
This commit is contained in:
Cayetano Santos 2026-01-13 10:50:20 +01:00
parent 6a9a15d46b
commit 74df560e62
No known key found for this signature in database
GPG key ID: BF5CDF4DF6BF6682
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gnu/packages/electronics.scm
View file

@ -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.")