guix_mirror_bot pushed a commit to branch next-master
in repository guix.
commit 8783bf40f0f19c1d7ce796fe8bf0ad9e10670bcd
Author: Cayetano Santos <[email protected]>
AuthorDate: Sat Jan 17 10:24:31 2026 +0100
gnu: sby: Update to 0.61.
* gnu/packages/electronics.scm (sby): Update to 0.61.
[description]: Update.
Change-Id: Ia3c6d8c275d7a5224f7f8308dc38a3b0b22e41c2
---
gnu/packages/electronics.scm | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index 149ae4190d..bec3cd64d6 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -3294,7 +3294,7 @@ them usable as simple logic analyzer and/or oscilloscope
hardware.")
(define-public sby
(package
(name "sby")
- (version "0.60")
+ (version "0.61")
(source
(origin
(method git-fetch)
@@ -3303,7 +3303,7 @@ them usable as simple logic analyzer and/or oscilloscope
hardware.")
(commit (string-append "v" version))))
(file-name (git-file-name name version))
(sha256
- (base32 "0lgw3agacnrm4mj3nwlx1jfxk9c276cc4p6sjzazd7s0308mzjm0"))))
+ (base32 "02b3jl3wk93lz0snz2v6kgxhlr7gg9l1gksfmafj2vvy45zhj1fx"))))
(build-system gnu-build-system)
(arguments
(list
@@ -3347,8 +3347,8 @@ them usable as simple logic analyzer and/or oscilloscope
hardware.")
(home-page "https://yosyshq.readthedocs.io/projects/sby/en/latest/";)
(synopsis "Formal hardware verification with Yosys")
(description
- "@command{sby} is a front-end program for Yosys-based formal hardware
-verification flows.")
+ "@command{sby} is an @acronym{EDA, Electronic Design Automation}
+front-end program for Yosys-based formal hardware verification flows.")
(license license:isc)))
(define-public sby-gui
