From 293306eaeefb6464969464473e21629a595fa3a2 Mon Sep 17 00:00:00 2001
From: Jesper Cockx <jesper@sikanda.be>
Date: Mon, 23 Sep 2024 17:32:26 +0200
Subject: [PATCH] Lower version bound of aeson to 2.0.3

---
 agda2hs.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/agda2hs.cabal b/agda2hs.cabal
index b85576db..79828f8a 100644
--- a/agda2hs.cabal
+++ b/agda2hs.cabal
@@ -75,7 +75,7 @@ executable agda2hs
                        text                 >= 2.0.2   && < 2.2,
                        deepseq              >= 1.4.4   && < 1.6,
                        yaml                 >= 0.11    && < 0.12,
-                       aeson                >= 2.2     && < 2.3,
+                       aeson                >= 2.0.3   && < 2.3,
   default-language:    Haskell2010
   default-extensions:  LambdaCase
                        RecordWildCards