From b93c02327c6419850d903bd7137c1748abd61d7c Mon Sep 17 00:00:00 2001 From: Cayetano Santos Date: Sat, 17 Jan 2026 10:24:31 +0100 Subject: [PATCH] gnu: sby: Update to 0.61. * gnu/packages/electronics.scm (sby): Update to 0.61. [description]: Update. Change-Id: Ia3c6d8c275d7a5224f7f8308dc38a3b0b22e41c2 Signed-off-by: Rutherther --- 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 8b84642cb2d21fa6430e8b235ca022a6f6a48700..9cc86dd410abdc2ceaea7e2a8ba109cd929cf1dc 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -3286,7 +3286,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) @@ -3295,7 +3295,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 @@ -3339,8 +3339,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