diff options
| author | Emery Hemingway <ehmry@posteo.net> | 2020-11-24 16:48:11 +0100 |
|---|---|---|
| committer | Emery Hemingway <ehmry@posteo.net> | 2020-11-24 16:48:11 +0100 |
| commit | 54130aa9de04438f8f6877f2f188a2e1a95d5a7a (patch) | |
| tree | 4bd066d2f5dbe564d48f4a01a18a937ae4741a01 /pkgs/development/dhall-modules | |
| parent | 79086e5d55e037b994c839c2894a3667ae72547b (diff) | |
dhallPackages.Prelude: 13.0.0 -> 19.0.0
Diffstat (limited to 'pkgs/development/dhall-modules')
| -rw-r--r-- | pkgs/development/dhall-modules/Prelude.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/dhall-modules/Prelude.nix b/pkgs/development/dhall-modules/Prelude.nix index 36bfda403c8d..2fe084753e62 100644 --- a/pkgs/development/dhall-modules/Prelude.nix +++ b/pkgs/development/dhall-modules/Prelude.nix @@ -1,11 +1,11 @@ { buildDhallGitHubPackage }: buildDhallGitHubPackage { - name = "Prelude-13.0.0"; + name = "Prelude-19.0.0"; owner = "dhall-lang"; repo = "dhall-lang"; directory = "Prelude"; file = "package.dhall"; - rev = "48db9e1ff1f8881fa4310085834fbc19e313ebf0"; - sha256 = "0kg3rzag3irlcldck63rjspls614bc2sbs3zq44h0pzcz9v7z5h9"; + rev = "v19.0.0"; + sha256 = "04m29f5xlks6rarv1gy909j68bsflwl18l9bg7kyy1vpwap0avkp"; } |