agda-snippets-hakyll 0.1.1.1 → 0.1.2.0

raw patch · 1 files changed

+3/−3 lines, 1 filesdep ~pandocdep ~pandoc-types

Dependency ranges changed: pandoc, pandoc-types

Files

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

@@ -1,5 +1,5 @@ name:                agda-snippets-hakyll-version:             0.1.1.1+version:             0.1.2.0 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.@@ -20,8 +20,8 @@   build-depends:       base >=4.7 && <4.9, agda-snippets >= 2.4.2.4                ,       network-uri >= 2.6 && < 2.7                ,       hakyll >= 4.6 && < 4.8-               ,       pandoc-types >=1.12 && <1.13-               ,       pandoc >= 1.13 && < 1.16+               ,       pandoc-types >=1.12 && <1.18+               ,       pandoc >= 1.13 && < 1.18                ,       filepath >= 1.3 && < 1.5                ,       directory >= 1.2 && < 1.3   hs-source-dirs:      src