downgrade to purs 0.13.3

This commit is contained in:
Yann Esposito (Yogsototh) 2019-10-29 13:48:03 +01:00
parent 0880b6f04e
commit 0384cfe849
Signed by untrusted user who does not match committer: yogsototh
GPG key ID: 7B19A4C650D59646
2 changed files with 6 additions and 15 deletions

View file

@ -119,20 +119,9 @@ let additions =
let upstream =
https://github.com/purescript/package-sets/releases/download/psc-0.13.4-20191025/packages.dhall sha256:f9eb600e5c2a439c3ac9543b1f36590696342baedab2d54ae0aa03c9447ce7d4
https://github.com/purescript/package-sets/releases/download/psc-0.13.3/packages.dhall sha256:c95c4a8b8033a48a350106b759179f68a695c7ea2208228c522866fd43814dc8
let overrides =
{ halogen =
upstream.halogen ⫽ { version = "v4.0.0" }
, colors =
upstream.colors ⫽ { version = "v5.0.0" }
, maybe =
upstream.maybe ⫽ { version = "v4.0.1" }
, aff =
upstream.aff ⫽ { version = "v5.1.2" }
, profunctor-lenses =
upstream.profunctor-lenses ⫽ { version = "v6.2.0" }
}
let overrides = {=}
let additions = {=}

View file

@ -3,8 +3,10 @@ let
easy-ps = import (pkgs.fetchFromGitHub {
owner = "justinwoo";
repo = "easy-purescript-nix";
rev = "b2efbe30c55ffa16dd6f85cb7c71f77ac3136aa0";
sha256 = "0mmjvqpkns964sjkbw0waqb47vfhg9r0fp9y0b5pizpikmw3fbp2";
# rev = "b2efbe30c55ffa16dd6f85cb7c71f77ac3136aa0";
# sha256 = "0mmjvqpkns964sjkbw0waqb47vfhg9r0fp9y0b5pizpikmw3fbp2";
rev = "ab6c0a0518d14f68d0684344219959642adf4355";
sha256 = "11skjldl28vlmm48bqza4b7bmly3dlppvha036nkgljkihqs69w7";
}) { inherit pkgs; };
in pkgs.mkShell {
buildInputs = [ easy-ps.purs