agda-snippets-hakyll 0.1.2.0 → 0.1.2.1

raw patch · 1 files changed

+2/−2 lines, 1 filesdep ~hakyll

Dependency ranges changed: hakyll

Files

• agda-snippets-hakyll.cabal +2/−2

@@ -1,5 +1,5 @@ name:                agda-snippets-hakyll-version:             0.1.2.0+version:             0.1.2.1 synopsis:            Literate Agda support using agda-snippets, for Hakyll pages. description:         This library provides basic functions to use in Hakyll web-pages to generate                      colourised and hyperlinked Agda source code snippets for literate Agda documents.@@ -19,7 +19,7 @@ library   build-depends:       base >=4.7 && <4.9, agda-snippets >= 2.4.2.4                ,       network-uri >= 2.6 && < 2.7-               ,       hakyll >= 4.6 && < 4.8+               ,       hakyll >= 4.6 && < 4.9                ,       pandoc-types >=1.12 && <1.18                ,       pandoc >= 1.13 && < 1.18                ,       filepath >= 1.3 && < 1.5