Upgrade to purescript 0.14.3 (#972)
commit49ae0cba2ad09546b7437371c3f7a2d480a6b559
authorFabrizio Ferrai <fabrizio.ferrai@gmail.com>
dateFri 16 Jul 2021, 15:48 (5 years ago)
parentb0f7256
default.nix+2−2
@@ -7,8 +7,8 @@ let
77 pkgs.fetchFromGitHub {
88 owner = "justinwoo";
99 repo = "easy-purescript-nix";
10− rev = "47bdc016c7d56e987ca1aca690b1d6c9816a8584";
11− sha256 = "051fzxd03y0c63sll2bhn0h66dywy9lw6ylyh5vq8fymvix20q94";
10+ rev = "bbef4245cd6810ea84e97a47c801947bfec9fadc";
11+ sha256 = "00764zbwhbn61jwb5px2syzi2f9djyl8fmbd2p8wma985af54iwx";
1212 }
1313 ) {
1414 inherit pkgs;
packages.json+1−1
@@ -2162,7 +2162,7 @@
21622162 "metadata": {
21632163 "dependencies": [],
21642164 "repo": "https://github.com/spacchetti/purescript-metadata.git",
2165− "version": "v0.14.2"
2165+ "version": "v0.14.3"
21662166 },
21672167 "midi": {
21682168 "dependencies": [
release.sh+1−1
@@ -8,7 +8,7 @@ set -euxo pipefail
88
99# TODO: fail if there's a tag with this same name, as sometimes we publish more than one per day
1010
11−LATEST_PURS="0.14.2"
11+LATEST_PURS="0.14.3"
1212NEW_TAG="psc-${LATEST_PURS}-`date +'%Y%m%d'`"
1313
1414./update-latest-compatible-sets.sh "${NEW_TAG}"
src/groups/spacchetti.dhall+1−1
@@ -1,6 +1,6 @@
11{ metadata =
22 { dependencies = [] : List Text
33 , repo = "https://github.com/spacchetti/purescript-metadata.git"
4− , version = "v0.14.2"
4+ , version = "v0.14.3"
55 }
66}