From 6521edc034d92a7a04ae2a4c7db9eeb93118b3a5 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Fri, 29 Sep 2023 16:27:32 +0000 Subject: [PATCH] purescript: Update to version 0.15.11 --- bucket/purescript.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bucket/purescript.json b/bucket/purescript.json index 351752cd16..3bf2f9e392 100644 --- a/bucket/purescript.json +++ b/bucket/purescript.json @@ -1,12 +1,12 @@ { - "version": "0.15.10", + "version": "0.15.11", "description": "A strongly-typed language that compiles to Javascript", "homepage": "https://www.purescript.org/", "license": "MIT", "architecture": { "64bit": { - "url": "https://github.com/purescript/purescript/releases/download/v0.15.10/win64.tar.gz", - "hash": "sha1:3977ec3c4d231b112eb5876831bc03b3e8f48f4c" + "url": "https://github.com/purescript/purescript/releases/download/v0.15.11/win64.tar.gz", + "hash": "sha1:4fe9adcd88f0326b2a64f8df7c630f5a53b74b9b" } }, "extract_dir": "purescript",