Cabal-version:      >= 1.6
Name:               hakyll-agda
Version:            0.1.5
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.3    && < 3,
                      containers   >= 0.3    && < 0.6,
                      directory    >= 1      && < 2,
                      filepath     >= 1      && < 2,
                      hakyll       >= 4.3    && < 5,
                      mtl          >= 2      && < 3,
                      pandoc       >= 1.10   && < 2,
                      transformers >= 0.3    && < 0.4,
                      xhtml        >= 3000.2 && < 3000.3
    GHC-Options:      -Wall -O2
    Exposed-Modules:  Hakyll.Web.Agda