branch master updated: gnu: sby: Drop outdated input.

[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 3de9639007 gnu: sby: Drop outdated input.
3de9639007 is described below

commit 3de9639007116b6a065890eefc80429b8d8d8a20
Author: Andreas Enge <andr...@enge.fr>
AuthorDate: Fri Jul 17 11:15:50 2026 +0200

    gnu: sby: Drop outdated input.
    
    Boolector was archived in August 2024; it was only used for tests.
    
    * gnu/packages/electronics.scm (sby)[inputs]: Remove boolector.
    
    Fixes: guix/guix#9962
---
 gnu/packages/electronics.scm | 1 -
 1 file changed, 1 deletion(-)

diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index d2ac36e85f..46f70f1dce 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -4606,7 +4606,6 @@ them usable as simple logic analyzer and/or oscilloscope 
hardware.")
           (add-after 'install 'python:wrap
             (assoc-ref python:%standard-phases 'wrap)))))
     (inputs (list abc-yosyshq
-                  boolector
                   python
                   python-click
                   python-xmlschema