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 cbd76831b5 gnu: ghc-simple-smt: Update to 1.0.1.
cbd76831b5 is described below

commit cbd76831b5ad98f705a8b63461cf9d99d2bd4bd8
Author: Sören Tempel <[email protected]>
AuthorDate: Tue Sep 1 11:22:15 2026 +0200

    gnu: ghc-simple-smt: Update to 1.0.1.
    
    * gnu/packages/haskell-xyz.scm (ghc-simple-smt): Update to 1.0.1.
---
 gnu/packages/haskell-xyz.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index f84e11a071..ce786ab255 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -11452,13 +11452,13 @@ standard library.")
 (define-public ghc-simple-smt
   (package
     (name "ghc-simple-smt")
-    (version "0.9.9")
+    (version "1.0.1")
     (source
      (origin
        (method url-fetch)
        (uri (hackage-uri "simple-smt" version))
        (sha256
-        (base32 "03naikilcai2x5jmvl0k98g2cz4qki39pc2y1kfi0qkjrcm8cvxp"))))
+        (base32 "0iw0kg4ga5g393x4j9xqgrlr6mzwm5xdjg9mjp7jc2q7igrfcx5z"))))
     (build-system haskell-build-system)
     (properties '((upstream-name . "simple-smt")))
     (inputs (list ghc-simple-get-opt))

Reply via email to