Cabal-version:      >= 1.6
Name:               hakyll-agda
Version:            0.1.8
Author:             Francesco Mazzoli (f@mazzo.li)
Maintainer:         Francesco Mazzoli (f@mazzo.li)
Build-Type:         Simple
License:            BSD3
Build-Type:         Simple
Category:           Web
Synopsis:           Wrapper to integrate literate Agda files with Hakyll
Tested-With:        GHC==7.6.3
Homepage:           https://github.com/bitonic/hakyll-agda
Bug-Reports:        https://github.com/bitonic/hakyll-agda/issues
Description:        Simple module useful to generate blog posts from literate
                    Agda files.  See <http://mazzo.li/posts/agda-hakyll.html>
                    for more info.

source-repository head
    type:     git
    location: git://github.com/bitonic/hakyll-agda.git

Library
    Build-Depends:    base         >= 3 && < 5,
                      Agda         >= 2.4,
                      containers   >= 0.3,
                      directory    >= 1,
                      filepath     >= 1,
                      hakyll       >= 4.3,
                      mtl          >= 2,
                      pandoc       >= 1.10,
                      transformers >= 0.3,
                      xhtml        >= 3000.2
    GHC-Options:      -Wall
    Exposed-Modules:  Hakyll.Web.Agda