From 15914856da44b297610c18be6f9cca724172a3d0 Mon Sep 17 00:00:00 2001 From: JordanMartinez Date: Mon, 28 Feb 2022 16:15:03 -0600 Subject: [PATCH] Make 0.14.7 package set (#1074) * Make 0.14.7 package set * Update metadata to v0.14.7 * Update purs to v0.14.7 --- default.nix | 2 +- packages.json | 2 +- release.sh | 2 +- src/groups/spacchetti.dhall | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/default.nix b/default.nix index 704b90e2..3be0b261 100644 --- a/default.nix +++ b/default.nix @@ -25,7 +25,7 @@ let inherit pkgs; }; - purs = easy-ps.purs-0_14_6; + purs = easy-ps.purs-0_14_7; in pkgs.runCommand "easy-ps-test" { diff --git a/packages.json b/packages.json index a0571507..f20f6abb 100644 --- a/packages.json +++ b/packages.json @@ -2450,7 +2450,7 @@ "metadata": { "dependencies": [], "repo": "https://github.com/spacchetti/purescript-metadata.git", - "version": "v0.14.6" + "version": "v0.14.7" }, "midi": { "dependencies": [ diff --git a/release.sh b/release.sh index 43051473..d460b0f6 100755 --- a/release.sh +++ b/release.sh @@ -13,7 +13,7 @@ if [ "${BRANCH}" != "master" ]; then fi git pull -LATEST_PURS="0.14.6" +LATEST_PURS="0.14.7" NEW_STABLE_TAG="psc-${LATEST_PURS}" diff --git a/src/groups/spacchetti.dhall b/src/groups/spacchetti.dhall index f0839453..7583a6ee 100644 --- a/src/groups/spacchetti.dhall +++ b/src/groups/spacchetti.dhall @@ -1,6 +1,6 @@ { metadata = { dependencies = [] : List Text , repo = "https://github.com/spacchetti/purescript-metadata.git" - , version = "v0.14.6" + , version = "v0.14.7" } }