From b48dd5fb5864b73b05be74446a1eaf14150dcfe4 Mon Sep 17 00:00:00 2001 From: pacchettibotti Date: Sat, 25 Nov 2023 00:17:53 +0000 Subject: [PATCH] Update to the 46.3.0 package set. --- latest-compatible-sets.json | 3 ++- packages.json | 2 +- src/packages.dhall | 2 +- 3 files changed, 4 insertions(+), 3 deletions(-) diff --git a/latest-compatible-sets.json b/latest-compatible-sets.json index 32499436..8376b78b 100644 --- a/latest-compatible-sets.json +++ b/latest-compatible-sets.json @@ -28,5 +28,6 @@ "0.15.8": "psc-0.15.8-20230617", "0.15.9": "psc-0.15.9-20230718", "0.15.10": "psc-0.15.10-20231023", - "0.15.12": "psc-0.15.12-20231123" + "0.15.12": "psc-0.15.12-20231123", + "0.15.13": "psc-0.15.13-20231125" } diff --git a/packages.json b/packages.json index 370bb8f1..4395d2e9 100644 --- a/packages.json +++ b/packages.json @@ -3250,7 +3250,7 @@ "metadata": { "dependencies": [], "repo": "https://github.com/purescript/purescript-metadata.git", - "version": "v0.15.12" + "version": "v0.15.13" }, "midi": { "dependencies": [ diff --git a/src/packages.dhall b/src/packages.dhall index bb64547e..fd4fe6ed 100644 --- a/src/packages.dhall +++ b/src/packages.dhall @@ -2891,7 +2891,7 @@ , metadata = { dependencies = [] : List Text , repo = "https://github.com/purescript/purescript-metadata.git" - , version = "v0.15.12" + , version = "v0.15.13" } , midi = { dependencies =