From e8bdb764b28002f3e34ae2c7a0c0e1dd5b8561b5 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Mon, 10 Oct 2022 16:31:29 +0000 Subject: [PATCH] purescript: Update to version 0.15.5 --- bucket/purescript.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bucket/purescript.json b/bucket/purescript.json index 20ab23d796..efa8f5e6f0 100644 --- a/bucket/purescript.json +++ b/bucket/purescript.json @@ -1,12 +1,12 @@ { - "version": "0.15.4", + "version": "0.15.5", "description": "A strongly-typed language that compiles to Javascript", "homepage": "http://purescript.org/", "license": "MIT", "architecture": { "64bit": { - "url": "https://github.com/purescript/purescript/releases/download/v0.15.4/win64.tar.gz", - "hash": "sha1:823f2f72b184256d8fa38395f2085a435e585c0d" + "url": "https://github.com/purescript/purescript/releases/download/v0.15.5/win64.tar.gz", + "hash": "sha1:4210a5af1612e0f009312f19290e7971d7fa148a" } }, "extract_dir": "purescript",