From aa71f9182c0271c5ba0d290605ea5e146efcb0c4 Mon Sep 17 00:00:00 2001
From: Cayetano Santos <csantosb@inventati.org>
Date: Wed, 11 Jun 2025 11:18:56 +0200
Subject: [PATCH] gnu: abc-yosyshq: Update to 0.54.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* gnu/packages/fpga.scm (abc-yosyshq): Update to 0.54.

Change-Id: I81bdb9f3fd8722b4f198ab34312c5942ce925b5c
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
 gnu/packages/fpga.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm
index c4b6ea0ce777792f8638e5aea4c6a67728cbc8f1..b4f07ca193a4fbd1e710a400a96a067ec7f15678 100644
--- a/gnu/packages/fpga.scm
+++ b/gnu/packages/fpga.scm
@@ -128,7 +128,7 @@ formal verification.")
   (package
     (inherit abc)
     (name "abc-yosyshq")
-    (version "0.53")
+    (version "0.54")
     (source (origin
               (method git-fetch)
               (uri (git-reference