From 0cbcd3184546740802e1c876329573f78dc53edf Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Thu, 10 Aug 2023 12:38:02 +0100
Subject: [PATCH] Update tested-with package datum

---
 package.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.yaml b/package.yaml
index 1568f97e90..b3efe4149e 100644
--- a/package.yaml
+++ b/package.yaml
@@ -12,7 +12,7 @@ author:
     Lukasz Czajka,
     Github's contributors,
   ]
-tested-with: ghc == 9.2.7
+tested-with: ghc == 9.4.5
 homepage: https://juvix.org
 bug-reports: https://github.com/anoma/juvix/issues
 description: The Juvix compiler