Make 0.14.7 package set (purescript#1074)

* Make 0.14.7 package set * Update metadata to v0.14.7 * Update purs to v0.14.7
AlexRogalskiy · Feb 28, 2022 · 1591485 · 1591485
1 parent 3473a16
commit 1591485
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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
@@ -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
@@ -1,6 +1,6 @@
 { metadata =
   { dependencies = [] : List Text
   , repo = "https://github.com/spacchetti/purescript-metadata.git"
-  , version = "v0.14.6"
+  , version = "v0.14.7"
   }
 }