From e7671c02a472ea4f8815b1638403e8697dd6d633 Mon Sep 17 00:00:00 2001
From: Cayetano Santos <csantosb@inventati.org>
Date: Wed, 10 Dec 2025 08:36:29 +0100
Subject: [PATCH] gnu: open-logic: Update to 4.2.0.

* gnu/packages/electronics.scm (open-logic): Update to 4.2.0.

Change-Id: I4370f3289b4d1f0d2a5beb8897b04bf3f51535b0
---
 gnu/packages/electronics.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index 83bd1da509f33ae4cb04c86eaa9604020c09a215..0ef5aa04071226fad51511560b5cb0a110ba49ba 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -1812,7 +1812,7 @@ verification.")
 (define-public open-logic
   (package
     (name "open-logic")
-    (version "4.1.0")
+    (version "4.2.0")
     (source
      (origin
        (method git-fetch)
@@ -1824,7 +1824,7 @@ verification.")
        (file-name (git-file-name name version))
        (sha256
         (base32
-         "0azapw9dyr5l5qal7qd409lyq0w6pw2wyjwvxfl44sykpbfxdl2x"))))
+         "1792a6i9jq2yawipmk0nr01z092kx3kkav9v5sjf34khk3biav6q"))))
     (outputs
      '("out" "test"))
     (properties