From bf11e3327b64dbaaab9b6a688f2f1f9871c9d63d Mon Sep 17 00:00:00 2001
From: Cayetano Santos <csantosb@inventati.org>
Date: Sun, 11 May 2025 20:35:10 +0200
Subject: [PATCH] gnu: abc-yosyshq: Update to 0.53.

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

Change-Id: I32e4973a26e831c558ab13b2cf7e00bea87637a1
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Reviewed-by: Gabriel Wicki <gabriel@erlikon.ch>
---
 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 c93e2f9779..ad689c6d15 100644
--- a/gnu/packages/fpga.scm
+++ b/gnu/packages/fpga.scm
@@ -125,7 +125,7 @@ formal verification.")
   (package
     (inherit abc)
     (name "abc-yosyshq")
-    (version "0.52")
+    (version "0.53")
     (source (origin
               (method git-fetch)
               (uri (git-reference