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))