Cabal revisions of agda-snippets-2.4.2.5
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: agda-snippets-version: 2.4.2.5-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- can then be run through Pandoc or other document processors to allow literate - Agda to be comfortably written in any format that allows inline HTML snippets.- .- There is also a simple command-line application (@agda-snippets@) included - that can be used as a standalone file processor.- .- The location of library source hyperlinks is configurable, as is the CSS class- given to Agda code blocks.- .- This package is pinned to particular Agda versions, and therefore does not - obey the PVP, as Agda does not. You should use whichever version of this library- corresponds to the Agda version you wish to use.- .- The development version of this library, available from GitHub, may work with- development versions of Agda, although it could be broken at any time. If you- stick to stable versions, you should be fine.-homepage: http://github.com/liamoc/agda-snippets#readme-license: BSD3-license-file: LICENSE-author: Liam O'Connor-maintainer: liamoc@cse.unsw.edu.au-copyright: Liam O'Connor, 2015-category: Dependent Types-build-type: Simple--- extra-source-files:-cabal-version: >=1.10--library- hs-source-dirs: src- exposed-modules: Agda.Contrib.Snippets- build-depends: base >= 4.7 && < 4.9- , Agda == 2.4.2.5- , xhtml >= 3000.2.1 && <3000.3- , network-uri >= 2.6 && < 2.7- , containers >= 0.5 && <0.6- , mtl >= 2.1 && < 2.3- default-language: Haskell2010--executable agda-snippets- hs-source-dirs: app- main-is: Main.hs- ghc-options: -threaded -rtsopts -with-rtsopts=-N- build-depends: base >= 4.7 && < 4.9- , agda-snippets- , Agda- , network-uri- , transformers >= 0.4 && < 0.5- default-language: Haskell2010--source-repository head- type: git- location: https://github.com/liamoc/agda-snippets+name: agda-snippets +version: 2.4.2.5 +x-revision: 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 + can then be run through Pandoc or other document processors to allow literate + Agda to be comfortably written in any format that allows inline HTML snippets. + . + There is also a simple command-line application (@agda-snippets@) included + that can be used as a standalone file processor. + . + The location of library source hyperlinks is configurable, as is the CSS class + given to Agda code blocks. + . + This package is pinned to particular Agda versions, and therefore does not + obey the PVP, as Agda does not. You should use whichever version of this library + corresponds to the Agda version you wish to use. + . + The development version of this library, available from GitHub, may work with + development versions of Agda, although it could be broken at any time. If you + stick to stable versions, you should be fine. +homepage: http://github.com/liamoc/agda-snippets#readme +license: BSD3 +license-file: LICENSE +author: Liam O'Connor +maintainer: liamoc@cse.unsw.edu.au +copyright: Liam O'Connor, 2015 +category: Dependent Types +build-type: Simple +-- extra-source-files: +cabal-version: >=1.10 + +library + hs-source-dirs: src + exposed-modules: Agda.Contrib.Snippets + build-depends: base >= 4.8 && < 4.9 + , Agda == 2.4.2.5 + , xhtml >= 3000.2.1 && <3000.3 + , network-uri >= 2.6 && < 2.7 + , containers >= 0.5 && <0.6 + , mtl >= 2.1 && < 2.3 + default-language: Haskell2010 + +executable agda-snippets + hs-source-dirs: app + main-is: Main.hs + ghc-options: -threaded -rtsopts -with-rtsopts=-N + build-depends: base >= 4.7 && < 4.9 + , agda-snippets + , Agda + , network-uri + , transformers >= 0.4 && < 0.5 + default-language: Haskell2010 + +source-repository head + type: git + location: https://github.com/liamoc/agda-snippets