summaryrefslogtreecommitdiff
path: root/gnu/packages/dhall.scm
AgeCommit message (Collapse)Author
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>