agda-snippets-hakyll 0.1.1 → 0.1.1.1
raw patch · 1 files changed
+2/−2 lines, 1 filesdep ~agda-snippets
Dependency ranges changed: agda-snippets
Files
agda-snippets-hakyll.cabal view
@@ -1,5 +1,5 @@ name: agda-snippets-hakyll-version: 0.1.1+version: 0.1.1.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.@@ -17,7 +17,7 @@ cabal-version: >=1.10 library- build-depends: base >=4.7 && <4.9, agda-snippets >= 2.4.3+ 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