summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gnu/packages/electronics.scm4
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
266formal verification. This is the Yosyshq fork of ABC.") 266formal verification. This is the Yosyshq fork of ABC.")