diff options
author | Emery Hemingway <ehmry@posteo.net> | 2020-12-04 19:05:41 +0100 |
---|---|---|
committer | Emery Hemingway <ehmry@posteo.net> | 2020-12-04 19:05:41 +0100 |
commit | b66ea6fc39acc588ecc8ccb1409995f2444862df (patch) | |
tree | ebb2f380f4e313260fee87d86a36052dc911bb5b | |
parent | c14f14eeaf919c914e4dec2ce485a5bdc8dd4fec (diff) |
dhallPackages.Prelude: 19.0.0 -> 20.0.0
-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 2fe084753e62..512c8f8bf551 100644 --- a/pkgs/development/dhall-modules/Prelude.nix +++ b/pkgs/development/dhall-modules/Prelude.nix @@ -1,11 +1,11 @@ { buildDhallGitHubPackage }: buildDhallGitHubPackage { - name = "Prelude-19.0.0"; + name = "Prelude-20.0.0"; owner = "dhall-lang"; repo = "dhall-lang"; directory = "Prelude"; file = "package.dhall"; - rev = "v19.0.0"; - sha256 = "04m29f5xlks6rarv1gy909j68bsflwl18l9bg7kyy1vpwap0avkp"; + rev = "v20.0.0"; + sha256 = "1smk57xki1cj24xpp0s3gv85radl6ry76ybsjkqak8h13s79lwla"; } |