From 4827592596dd2805a9f34d4519fed267e3a73e16 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Sun, 23 Aug 2026 13:43:48 +0100
Subject: [PATCH] chore(guix): quality pass - fix stub/invalid names (#139)

---
 guix.scm | 30 ++++++++++++++++++++----------
 1 file changed, 20 insertions(+), 10 deletions(-)

diff --git a/guix.scm b/guix.scm
index b2bae3f..e5b6f7b 100644
--- a/guix.scm
+++ b/guix.scm
@@ -1,18 +1,28 @@
-; SPDX-License-Identifier: MPL-2.0
-;; guix.scm — GNU Guix package definition for SMTLib.jl
-;; Usage: guix shell -f guix.scm
+;; SPDX-License-Identifier: MPL-2.0
+;; Guix development environment.
+;; Usage: guix shell -D -f guix.scm
 
 (use-modules (guix packages)
              (guix build-system gnu)
-             (guix licenses))
+             (guix licenses)
+             (gnu packages base)
+             (gnu packages bash)
+             (gnu packages base)
+             (gnu packages java)
+             (gnu packages rust)
+             (gnu packages cmake)
+             (gnu packages zig)
+             (gnu packages golang)
+             (gnu packages node)
+             (gnu packages python))
 
 (package
-  (name "SMTLib.jl")
+  (name "smtlib.jl")
   (version "0.1.0")
   (source #f)
   (build-system gnu-build-system)
-  (synopsis "SMTLib.jl")
-  (description "SMTLib.jl — part of the hyperpolymath ecosystem.")
-  (home-page "https://github.com/hyperpolymath/SMTLib.jl")
-  (license ((@@ (guix licenses) license) "MPL-2.0"
-             "https://github.com/hyperpolymath/palimpsest-license")))
+  (inputs (list coreutils bash  make openjdk rust cmake zig go node python))
+  (synopsis "smtlib.jl")
+  (description "smtlib.jl — part of the hyperpolymath ecosystem.")
+  (home-page "https://github.com/hyperpolymath/smtlib.jl")
+  (license ((@@ (guix licenses) license) "MPL-2.0" "https://github.com/hyperpolymath/palimpsest-license")))