From 5348b1f18199b5d670927fcdfc95e3301de12fbb Mon Sep 17 00:00:00 2001 From: Cayetano Santos Date: Mon, 20 Oct 2025 12:08:07 +0200 Subject: [PATCH] gnu: Rename variable symbiyosys to sby. * gnu/packages/electronics.scm (symbiyosys): Rename to "sby". (simbiyosys): Define as deprecated by "sby". Change-Id: I4717cef165862eea841d33d9aff03f62d3383487 --- gnu/packages/electronics.scm | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index dbdc609a152..c8e56d9c74d 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -2332,9 +2332,9 @@ suite.") them usable as simple logic analyzer and/or oscilloscope hardware.") (license license:gpl2+)))) -(define-public symbiyosys +(define-public sby (package - (name "symbiyosys") + (name "sby") (version "0.59") (source (origin @@ -2388,10 +2388,13 @@ 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 - "code{Simbiyosys} is a front-end program for Yosys-based formal hardware + "@command{sby} is a front-end program for Yosys-based formal hardware verification flows.") (license license:isc))) +(define-deprecated-package symbiyosys + sby) + (define-public systemc (package (name "systemc")