summaryrefslogtreecommitdiff
path: root/gnu/packages/dhall.scm
Commit message (Collapse)AuthorAge
* gnu: dhall: Update to 1.32.0.Tobias Geerinckx-Rice2020-06-09
| | | | | * gnu/packages/dhall.scm (dhall): Update to 1.32.0. [inputs]: Add ghc-half.
* gnu: dhall: Disable network tests differently.Tobias Geerinckx-Rice2020-06-09
| | | | | | | | * 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.
* gnu: Add dhall.John Soo2020-05-29
* 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>