guix_mirror_bot pushed a commit to branch next-master
in repository guix.
commit 79ba1666c0558f7e355a2587906715b93d85b3c8
Author: Cayetano Santos <[email protected]>
AuthorDate: Sat Jan 17 10:24:31 2026 +0100
gnu: eqy: Update to 0.61.
* gnu/packages/electronics.scm (eqy): Update to 0.61.
[description]: Update.
Change-Id: I1f5f78d5024cc4cc92a09b71fbbfcbf6fb50973f
---
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 bec3cd64d6..5bbda261d9 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
