From 2c414093831cb7eb6e412c8b042b4f6fae3073db Mon Sep 17 00:00:00 2001 From: Cayetano Santos Date: Sat, 17 Jan 2026 10:24:31 +0100 Subject: [PATCH] gnu: eqy: Update to 0.61. * gnu/packages/electronics.scm (eqy): Update to 0.61. [description]: Update. Change-Id: I1f5f78d5024cc4cc92a09b71fbbfcbf6fb50973f Signed-off-by: Rutherther --- gnu/packages/electronics.scm | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index 9cc86dd410abdc2ceaea7e2a8ba109cd929cf1dc..855335bc21b331bde53705cae7234b4a0b145812 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -347,7 +347,7 @@ individual low-level driver modules.") (define-public eqy (package (name "eqy") - (version "0.60") + (version "0.61") (source (origin (method git-fetch) @@ -396,11 +396,11 @@ individual low-level driver modules.") (home-page "https://yosyshq.readthedocs.io/projects/eqy/en/latest/") (synopsis "Equivalence checking using formal verification with Yosys") (description - "@command{Eqy} is a front-end driver program for Yosys-based formal -hardware equivalence checking. It performs formal verification on two -designs, such as ensuring that a synthesis tool has not introduced functional -changes into a design, or ensuring that a design refactor preserves -correctness in all conditions.") + "@command{Eqy} is an @acronym{EDA, Electronic Design Automation} +front-end driver program for Yosys-based formal hardware equivalence +checking. It performs formal verification on two designs, such as ensuring +that a synthesis tool has not introduced functional changes into a design, or +ensuring that a design refactor preserves correctness in all conditions.") (license license:isc))) (define-public ieee-p1076