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.4.2.5
+version:             2.5.1
 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
@@ -34,7 +34,7 @@
   hs-source-dirs:      src
   exposed-modules:     Agda.Contrib.Snippets
   build-depends:       base >= 4.7 && < 4.9
-               ,       Agda == 2.4.2.5
+               ,       Agda == 2.5.1
                ,       xhtml >= 3000.2.1 && <3000.3
                ,       network-uri >= 2.6 && < 2.7
                ,       containers >= 0.5 && <0.6