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