summaryrefslogtreecommitdiff
path: root/gnu/packages/dhall.scm
AgeCommit message (Collapse)Author
2023-02-26Upgrade Haskell packages.Lars-Dominik Braun
Script-aided bulk change.
2023-02-26gnu: Use HACKAGE-URI for packages from Hackage.Lars-Dominik Braun
Script-aided bulk change.
2023-02-26gnu: Add upstream-name property to Haskell packages.Lars-Dominik Braun
Script-aided bulk change.
2021-12-13gnu: Simplify package inputs.Ludovic Courtès
This commit was obtained by running: ./pre-inst-env guix style without any additional argument.
2021-10-08gnu: ghc-repline: Remove version 0.2.0.0.Lars-Dominik Braun
Not required by any package in the tree. * gnu/packages/haskell-xyz.scm (ghc-repline-0.3): Merge into… (ghc-repline): …this. * gnu/packages/dhall.scm (dhall): Use ghc-repline.
2021-10-08gnu: Update Haskell ecosystem.Lars-Dominik Braun
Bump packages’ versions to the lastest Stackage or Hackage release. Since packages are interdependent, do so in a single commit. 525 packages have been updated. These packages have been removed, because they fail to build, have no newer version available and no dependencies: corrode ghc-easytest ghc-edisonapi ghc-edisoncore ghc-pandoc-types ghc-regex-tdfa-text These have been removed, because they are no longer required: ghc-happy-1.19.9 ghc-prettyprinter-1.6 ghc-protolude-0.3 ghc-pandoc-citeproc and pandoc-citeproc have been removed, because pandoc does not use them any more. Co-authored-by: Xinglu Chen <public@yoctocell.xyz>
2020-06-09gnu: dhall: Update to 1.32.0.Tobias Geerinckx-Rice
* gnu/packages/dhall.scm (dhall): Update to 1.32.0. [inputs]: Add ghc-half.
2020-06-09gnu: dhall: Disable network tests differently.Tobias Geerinckx-Rice
* gnu/packages/dhall.scm (dhall)[source]: Remove patch. [arguments]: Rename ‘remove-more-tests’ phase to ‘remove-network-tests’. Identify the tests by name instead of by content. * gnu/packages/patches/dhall-remove-network-tests.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Remove it.
2020-05-29gnu: Add dhall.John Soo
* gnu/packages/dhall.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. (dist_patch_DATA): Add new patch. * gnu/packages/patches/dhall-remove-network-tests.patch: Add patch to remove dhall network tests. Signed-off-by: Leo Famulari <leo@famulari.name>