diff options
author | Nadrieril | 2020-05-31 16:38:43 +0100 |
---|---|---|
committer | Nadrieril | 2020-05-31 16:38:43 +0100 |
commit | 1d40832097eb9095bb0dea2e1c1524bb42a8f48c (patch) | |
tree | 0234f8b7ae882ca54a12aee4c582a98a110a1a86 /nix | |
parent | da9480ad558f68d764ad61934d4385c055eda8d9 (diff) |
nix: add dhall to environment
Diffstat (limited to 'nix')
-rw-r--r-- | nix/sources.json | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/nix/sources.json b/nix/sources.json index 8e183ea..fbf61db 100644 --- a/nix/sources.json +++ b/nix/sources.json @@ -1,4 +1,11 @@ { + "dhall": { + "sha256": "0jv2s3rjk4ha5vq0z4x5w9q3x01kxvwdadcj1a9x1qyx29xxi9qp", + "type": "tarball", + "url": "https://github.com/dhall-lang/dhall-haskell/releases/download/1.32.0/dhall-1.32.0-x86_64-linux.tar.bz2", + "url_template": "https://github.com/dhall-lang/dhall-haskell/releases/download/<version>/dhall-<version>-x86_64-linux.tar.bz2", + "version": "1.32.0" + }, "nixpkgs": { "branch": "nixos-20.03", "description": "A read-only mirror of NixOS/nixpkgs tracking the released channels. Send issues and PRs to", |