agda-snippets 2.4.2.5 → 2.5.1

raw patch · 1 files changed

+2/−2 lines, 1 filesdep ~Agda

Dependency ranges changed: Agda

Files

• agda-snippets.cabal +2/−2

@@ -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