Browse Source

gnu: dhall: Update to 1.32.0.

* gnu/packages/dhall.scm (dhall): Update to 1.32.0.
[inputs]: Add ghc-half.
gn-latest-20200725
Tobias Geerinckx-Rice 1 year ago
parent
commit
2971ed5734
No known key found for this signature in database GPG Key ID: DB0FF884F556D79
1 changed files with 7 additions and 11 deletions
  1. +7
    -11
      gnu/packages/dhall.scm

+ 7
- 11
gnu/packages/dhall.scm View File

@ -30,17 +30,14 @@
(define-public dhall
(package
(name "dhall")
(version "1.31.1")
(version "1.32.0")
(source
(origin
(method url-fetch)
(uri (string-append
"https://hackage.haskell.org/package/dhall/dhall-"
version
".tar.gz"))
(uri (string-append "https://hackage.haskell.org/package/dhall/dhall-"
version ".tar.gz"))
(sha256
(base32
"18v7vvcbcm9s7slh6h43rj9yakkkxwnwgj6kv84i6qzd2j7d80mc"))))
(base32 "1imj0bh5365pdizvjbw2wqz0g9hakigf1zm4fr6379qdchxpp90p"))))
(build-system haskell-build-system)
(inputs
`(("ghc-aeson" ,ghc-aeson)
@ -56,6 +53,7 @@
("ghc-dotgen" ,ghc-dotgen)
("ghc-either" ,ghc-either)
("ghc-exceptions" ,ghc-exceptions)
("ghc-half" ,ghc-half)
("ghc-hashable" ,ghc-hashable)
("ghc-lens-family-core" ,ghc-lens-family-core)
("ghc-megaparsec" ,ghc-megaparsec)
@ -131,10 +129,8 @@
"examples/True\" :: IO Bool"))
""))
#t)))))
(home-page
"https://dhall-lang.org/")
(synopsis
"Configuration language guaranteed to terminate")
(home-page "https://dhall-lang.org/")
(synopsis "Configuration language guaranteed to terminate")
(description
"Dhall is an explicitly typed configuration language that is not Turing
complete. Despite being Turing incomplete, Dhall is a real programming


Loading…
Cancel
Save