diff options
Diffstat (limited to 'gnu')
| -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)) |