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

gnu: abc-yosyshq: Update to 0.56.

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

Change-Id: I578278a5c2dd509b3e9b11ce7a8c8c7b2cd65931
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>
This commit is contained in:
Cayetano Santos 2025-08-12 14:46:56 +02:00 • committed by Maxim Cournoyer
parent 63c88a9862
commit 930c07a622
No known key found for this signature in database
GPG key ID: 1260E46482E63562
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/fpga.scm
View file

@ -129,7 +129,7 @@ formal verification.")
(package
(inherit abc)
(name "abc-yosyshq")
(version "0.55")
(version "0.56")
(source (origin
(method git-fetch)
(uri (git-reference
@ -138,7 +138,7 @@ formal verification.")
(file-name (git-file-name name version))
(sha256
(base32
"15a7nyk8iqpadp326icnr7rn5pwq44b9lvajqc35hcsvixz4gxsa"))))
"0wy42qd0dl58icw3nklgns5zrr1inj8br40vwcpwiz1pkfg3gl0j"))))
(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.")