cabal-version:       2.4
name:                hakyll-alectryon
version:             0.1.2.0
synopsis:            Hakyll extension for rendering Coq code using Alectryon
description:
  An extension to write Literate Coq blog posts using Hakyll.
  .
  hakyll-alectryon extends the Hakyll site generator with the Alectryon
  documentation tool for Coq.
  .
  See also the README.
homepage:            https://gitlab.com/lysxia/hakyll-alectryon
bug-reports:         https://gitlab.com/lysxia/hakyll-alectryon/-/issues
license:             MIT
license-file:        LICENSE
author:              Li-yao Xia
maintainer:          lysxia@gmail.com
copyright:           Li-yao Xia 2020
category:            Text, Web
extra-source-files:  CHANGELOG.md, README.md

library
  exposed-modules:
    Hakyll.Alectryon
  build-depends:
    aeson,
    hakyll >= 4,
    mtl,
    optparse-applicative,
    pandoc,
    pandoc-types,
    filepath,
    process,
    bytestring,
    text,
    base >=4.9 && < 5
  hs-source-dirs:      src
  ghc-options: -Wall
  default-language:    Haskell2010

source-repository head
  type: git
  location: https://gitlab.com/lysxia/hakyll-alectryon