dhall-genode: update prelude to 20.1.0

This commit is contained in:
Ehmry - 2021-02-06 17:52:46 +01:00
parent 825a066f79
commit adff162a29
1 changed files with 3 additions and 3 deletions

View File

@ -1,11 +1,11 @@
{ stdenv, fetchgit, dhallPackages }: { lib, stdenv, fetchgit, dhallPackages }:
dhallPackages.buildDhallDirectoryPackage { dhallPackages.buildDhallDirectoryPackage {
name = "dhall-genode"; name = "dhall-genode";
src = fetchgit { src = fetchgit {
url = "https://git.sr.ht/~ehmry/dhall-genode"; url = "https://git.sr.ht/~ehmry/dhall-genode";
rev = "eb3eba6e4719f0e4589e92a490a4a1c45511d58d"; rev = "0f782d2c5834c10330fcecd3dbd7c25c19e27ea1";
sha256 = "0xh4bndx5fncdkc8jbm64c7hqsyhglw5xjkgff0wfvycw9ldyg7x"; sha256 = "1w53w04pjb11d6348gr6ggnc9jdk5nqpi0171rpmba4lnrvrgvm7";
}; };
dependencies = [ dhallPackages.Prelude ]; dependencies = [ dhallPackages.Prelude ];
} }