diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2026-09-01 11:22:15 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2026-09-01 11:22:15 +0200 |
| commit | cbd76831b5ad98f705a8b63461cf9d99d2bd4bd8 (patch) | |
| tree | 504eea2a36e4e93dcf67254466f9a13b0c2066fc /gnu/packages | |
| parent | a87f1c558e9d5b14ebf468e6412e3285f5f4a997 (diff) | |
gnu: ghc-simple-smt: Update to 1.0.1.
* gnu/packages/haskell-xyz.scm (ghc-simple-smt): Update to 1.0.1.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/haskell-xyz.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index f84e11a0719..ce786ab255c 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm | |||
| @@ -11452,13 +11452,13 @@ standard library.") | |||
| 11452 | (define-public ghc-simple-smt | 11452 | (define-public ghc-simple-smt |
| 11453 | (package | 11453 | (package |
| 11454 | (name "ghc-simple-smt") | 11454 | (name "ghc-simple-smt") |
| 11455 | (version "0.9.9") | 11455 | (version "1.0.1") |
| 11456 | (source | 11456 | (source |
| 11457 | (origin | 11457 | (origin |
| 11458 | (method url-fetch) | 11458 | (method url-fetch) |
| 11459 | (uri (hackage-uri "simple-smt" version)) | 11459 | (uri (hackage-uri "simple-smt" version)) |
| 11460 | (sha256 | 11460 | (sha256 |
| 11461 | (base32 "03naikilcai2x5jmvl0k98g2cz4qki39pc2y1kfi0qkjrcm8cvxp")))) | 11461 | (base32 "0iw0kg4ga5g393x4j9xqgrlr6mzwm5xdjg9mjp7jc2q7igrfcx5z")))) |
| 11462 | (build-system haskell-build-system) | 11462 | (build-system haskell-build-system) |
| 11463 | (properties '((upstream-name . "simple-smt"))) | 11463 | (properties '((upstream-name . "simple-smt"))) |
| 11464 | (inputs (list ghc-simple-get-opt)) | 11464 | (inputs (list ghc-simple-get-opt)) |