From f31d9de17e77942ce7412a494d51827c8fce53d9 Mon Sep 17 00:00:00 2001 From: DimaS Date: Tue, 30 Sep 2025 16:57:58 +0200 Subject: [PATCH] Bump Dhall Prelude version --- Prelude.dhall | 3 ++- package.dhall | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/Prelude.dhall b/Prelude.dhall index 1d63977..d02bec7 100644 --- a/Prelude.dhall +++ b/Prelude.dhall @@ -4,4 +4,5 @@ use so that the integrity check only needs to be updated in one place whenever upgrading the interpreter. -} env:DHALL_PRELUDE -? https://prelude.dhall-lang.org/v17.0.0/package.dhall sha256:10db3c919c25e9046833df897a8ffe2701dc390fa0893d958c3430524be5a43e +? https://prelude.dhall-lang.org/v23.1.0/package.dhall + sha256:931cbfae9d746c4611b07633ab1e547637ab4ba138b16bf65ef1b9ad66a60b7f diff --git a/package.dhall b/package.dhall index 7b64858..dd9ebea 100644 --- a/package.dhall +++ b/package.dhall @@ -1 +1,2 @@ ./Containerfile/package.dhall + sha256:610501630692911b7c480cc9af880cd937c5e12b6d4a1ecb4b0933446b5b435f