agda-snippets 2.5.1 → 2.5.2

raw patch · 1 files changed

+5/−5 lines, 1 filesdep ~Agdadep ~basedep ~transformers

Dependency ranges changed: Agda, base, transformers

Files

• agda-snippets.cabal +5/−5

@@ -1,5 +1,5 @@ name:                agda-snippets-version:             2.5.1+version:             2.5.2 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@@ -33,8 +33,8 @@ library   hs-source-dirs:      src   exposed-modules:     Agda.Contrib.Snippets-  build-depends:       base >= 4.7 && < 4.9-               ,       Agda == 2.5.1+  build-depends:       base >= 4.7 && < 4.10+               ,       Agda == 2.5.2                ,       xhtml >= 3000.2.1 && <3000.3                ,       network-uri >= 2.6 && < 2.7                ,       containers >= 0.5 && <0.6@@ -45,11 +45,11 @@   hs-source-dirs:      app   main-is:             Main.hs   ghc-options:         -threaded -rtsopts -with-rtsopts=-N-  build-depends:       base >= 4.7 && < 4.9+  build-depends:       base >= 4.7 && < 4.10                      , agda-snippets                      , Agda                      , network-uri-                     , transformers >= 0.4 && < 0.5+                     , transformers >= 0.4 && < 0.6   default-language:    Haskell2010  source-repository head