Merge pull request #104780 from ehmry/dhallPackages.Prelude

dhallPackages.Prelude: 13.0.0 -> 19.0.0
This commit is contained in:
Sandro 2020-11-24 18:57:27 +01:00 committed by GitHub
commit 9a2b5a9521
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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";
}