From 40683f1d2eb5d5019dd02a2d90563ceb2ca4ea33 Mon Sep 17 00:00:00 2001 From: Cayetano Santos Date: Fri, 11 Jul 2025 21:43:39 +0200 Subject: [PATCH] gnu: abc-yosyshq: Update to 0.55. * gnu/packages/fpga.scm (abc-yosyshq): Update to 0.55. Change-Id: Ie7c443d5bac3451197089723e86d9c5b3c659faf Signed-off-by: Maxim Cournoyer --- 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 60365a32a6b..1dc287d6129 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -129,7 +129,7 @@ formal verification.") (package (inherit abc) (name "abc-yosyshq") - (version "0.54") + (version "0.55") (source (origin (method git-fetch) (uri (git-reference