dhallPackages.Prelude: 19.0.0 -> 20.0.0
This commit is contained in:
parent
c14f14eeaf
commit
b66ea6fc39
@ -1,11 +1,11 @@
|
|||||||
{ buildDhallGitHubPackage }:
|
{ buildDhallGitHubPackage }:
|
||||||
|
|
||||||
buildDhallGitHubPackage {
|
buildDhallGitHubPackage {
|
||||||
name = "Prelude-19.0.0";
|
name = "Prelude-20.0.0";
|
||||||
owner = "dhall-lang";
|
owner = "dhall-lang";
|
||||||
repo = "dhall-lang";
|
repo = "dhall-lang";
|
||||||
directory = "Prelude";
|
directory = "Prelude";
|
||||||
file = "package.dhall";
|
file = "package.dhall";
|
||||||
rev = "v19.0.0";
|
rev = "v20.0.0";
|
||||||
sha256 = "04m29f5xlks6rarv1gy909j68bsflwl18l9bg7kyy1vpwap0avkp";
|
sha256 = "1smk57xki1cj24xpp0s3gv85radl6ry76ybsjkqak8h13s79lwla";
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user