diff options
Diffstat (limited to 'gnu/packages/electronics.scm')
| -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 cab96c5a316..5cc15e2c401 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm | |||
| @@ -251,7 +251,7 @@ formal verification.") | |||
| 251 | (package | 251 | (package |
| 252 | (inherit abc) | 252 | (inherit abc) |
| 253 | (name "abc-yosyshq") | 253 | (name "abc-yosyshq") |
| 254 | (version "0.60") | 254 | (version "0.61") |
| 255 | (source (origin | 255 | (source (origin |
| 256 | (method git-fetch) | 256 | (method git-fetch) |
| 257 | (uri (git-reference | 257 | (uri (git-reference |
| @@ -260,7 +260,7 @@ formal verification.") | |||
| 260 | (file-name (git-file-name name version)) | 260 | (file-name (git-file-name name version)) |
| 261 | (sha256 | 261 | (sha256 |
| 262 | (base32 | 262 | (base32 |
| 263 | "0yays5yznwm1mngda78w465l9djw4128hgn24lf76gzripkpsz92")))) | 263 | "0x6662719qdybkd46vh9aq3p20xngwn9g81155j96a4r6jdqm1js")))) |
| 264 | (home-page "https://github.com/YosysHQ/abc/") | 264 | (home-page "https://github.com/YosysHQ/abc/") |
| 265 | (description "ABC is a program for sequential logic synthesis and | 265 | (description "ABC is a program for sequential logic synthesis and |
| 266 | formal verification. This is the Yosyshq fork of ABC.") | 266 | formal verification. This is the Yosyshq fork of ABC.") |
