dhallPackages.Prelude: 13.0.0 -> 19.0.0
This commit is contained in:
parent
79086e5d55
commit
54130aa9de
1 changed files with 3 additions and 3 deletions
|
@ -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";
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue