diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2025-08-12 14:46:56 +0200 |
|---|---|---|
| committer | Maxim Cournoyer <maxim@guixotic.coop> | 2025-08-22 10:32:30 +0900 |
| commit | 930c07a6220f4d80eb96dd9bafe028bf94b72635 (patch) | |
| tree | cd8dfb5513dcd41ae869ef365159458fda069250 /gnu | |
| parent | 63c88a98628ea38cb5aabbec67830798e814d2ea (diff) | |
gnu: abc-yosyshq: Update to 0.56.
* gnu/packages/fpga.scm (abc-yosyshq): Update to 0.56.
Change-Id: I578278a5c2dd509b3e9b11ce7a8c8c7b2cd65931
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/fpga.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index c66f117112d..457e6664ed2 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -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.") |