From 837b4d86baf835f561f8b6ae29e7436b3e214f08 Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Thu, 28 Jan 2021 14:58:53 +0100 Subject: [PATCH] dhallPackages.Prelude: v20.0.0 -> v20.1.0 --- pkgs/development/dhall-modules/Prelude.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/development/dhall-modules/Prelude.nix b/pkgs/development/dhall-modules/Prelude.nix index 512c8f8bf55..320022abc0e 100644 --- a/pkgs/development/dhall-modules/Prelude.nix +++ b/pkgs/development/dhall-modules/Prelude.nix @@ -1,11 +1,11 @@ { buildDhallGitHubPackage }: buildDhallGitHubPackage { - name = "Prelude-20.0.0"; + name = "Prelude"; owner = "dhall-lang"; repo = "dhall-lang"; directory = "Prelude"; file = "package.dhall"; - rev = "v20.0.0"; - sha256 = "1smk57xki1cj24xpp0s3gv85radl6ry76ybsjkqak8h13s79lwla"; + rev = "v20.1.0"; + sha256 = "04r1w7wqydmwm9mh3lz4y96a87k5kkvzsmrhbdrf0izcy5bqqv5y"; }