branch master updated: gnu: open-logic: Update to 4.2.0.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

guix_mirror_bot pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new e7671c02a4 gnu: open-logic: Update to 4.2.0.
e7671c02a4 is described below

commit e7671c02a472ea4f8815b1638403e8697dd6d633
Author: Cayetano Santos <csant...@inventati.org>
AuthorDate: Wed Dec 10 08:36:29 2025 +0100

    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 83bd1da509..0ef5aa0407 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