Merge pull request #157624 from cdepillabout/spago-0.20.4

spago: 0.20.2 -> 0.20.4
This commit is contained in:
Dennis Gosnell 2022-02-03 12:47:13 +09:00 committed by GitHub
commit 09ca0f5a50
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 14 deletions

View file

@ -605,17 +605,7 @@ self: super: builtins.intersectAttrs super {
sha256 = "1hjdprm990vyxz86fgq14ajn0lkams7i00h8k2i2g1a0hjdwppq6";
};
spagoWithPatches = appendPatch (
# Spago needs a small patch to work with versions-5.0.0:
# https://github.com/purescript/spago/pull/798
# This can probably be removed with >spago-0.20.3.
pkgs.fetchpatch {
url = "https://github.com/purescript/spago/commit/dd4bf4413d9675c1c8065d24d0ed7b345c7fa5dd.patch";
sha256 = "1i1r3f4n9mlkckx15bfrdy5m7gjf0zx7ycwyqra6qn34zpcbzpmf";
}
) super.spago;
spagoWithOverrides = spagoWithPatches.override {
spagoWithOverrides = super.spago.override {
# spago has not yet been updated for the latest dhall.
dhall = self.dhall_1_38_1;
};

View file

@ -14,11 +14,11 @@
}:
mkDerivation {
pname = "spago";
version = "0.20.2";
version = "0.20.4";
src = fetchgit {
url = "https://github.com/purescript/spago.git";
sha256 = "11jh3bszvl8zfi4xcabpx43jply28dxdywd6fadxspaa05jdxxn2";
rev = "0f38c9153e46f30e9d87963e181f5c1a595f4b64";
sha256 = "0dj7z2yr4s2kqjklbjdzsrmc5lqli322wg5k412jixxpmlx11a5f";
rev = "33da63176fe07967761f43c83af9715f104013f0";
fetchSubmodules = true;
};
isLibrary = true;