diff --git a/agda-snippets.cabal b/agda-snippets.cabal
--- a/agda-snippets.cabal
+++ b/agda-snippets.cabal
@@ -1,5 +1,5 @@
 name:                agda-snippets
-version:             2.5.1
+version:             2.5.2
 synopsis:            Render just the Agda snippets of a literate Agda file to HTML
 description:         This library provides a very simple function that translates just the code blocks
                      of a literate Agda file to colourised, hyperlinked HTML. The output of this
@@ -33,8 +33,8 @@
 library
   hs-source-dirs:      src
   exposed-modules:     Agda.Contrib.Snippets
-  build-depends:       base >= 4.7 && < 4.9
-               ,       Agda == 2.5.1
+  build-depends:       base >= 4.7 && < 4.10
+               ,       Agda == 2.5.2
                ,       xhtml >= 3000.2.1 && <3000.3
                ,       network-uri >= 2.6 && < 2.7
                ,       containers >= 0.5 && <0.6
@@ -45,11 +45,11 @@
   hs-source-dirs:      app
   main-is:             Main.hs
   ghc-options:         -threaded -rtsopts -with-rtsopts=-N
-  build-depends:       base >= 4.7 && < 4.9
+  build-depends:       base >= 4.7 && < 4.10
                      , agda-snippets
                      , Agda
                      , network-uri
-                     , transformers >= 0.4 && < 0.5
+                     , transformers >= 0.4 && < 0.6
   default-language:    Haskell2010
 
 source-repository head