diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2026-04-09 10:22:45 +0200 |
|---|---|---|
| committer | Cayetano Santos <csantosb@inventati.org> | 2026-04-09 11:13:26 +0200 |
| commit | 2e102f9ff22b67340025a5a230e828fa0cea207c (patch) | |
| tree | 88c644d229bb1e29357933a8d9e5821fb1a0ab30 /gnu | |
| parent | 861231426d8f0980757fe407267a36cc0bb68c90 (diff) | |
gnu: abc-yosyshq: Update to 0.64.
* gnu/packages/electronics.scm (abc-yosyshq): Update to 0.64.
Change-Id: I1af1e07b3a7ad030fc7e479749dbf5b5edb8f3da
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/electronics.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index 3289159597..e86327ed41 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -278,7 +278,7 @@ formal verification.") (package (inherit abc) (name "abc-yosyshq") - (version "0.63") + (version "0.64") (source (origin (method git-fetch) (uri (git-reference @@ -287,7 +287,7 @@ formal verification.") (file-name (git-file-name name version)) (sha256 (base32 - "1nwj4zhjqjgvb7fh877j51kfccwzrc591ag25qm9jirycgq1cqx6")))) + "1jk74yq7dnrnai8r9hqc10jcjmgj50jxj6hsflmvc61acm1r3f8r")))) (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.") |