cabal-version:       2.4
name:                hakyll-alectryon
version:             0.2.0.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-2025
category:            Text, Web
extra-doc-files:     CHANGELOG.md, README.md

library
  exposed-modules:
    Hakyll.Alectryon
  build-depends:
    aeson < 2.3,
    hakyll >= 4 && < 4.17,
    mtl < 2.4,
    optparse-applicative < 0.20,
    pandoc < 3.8,
    pandoc-types < 1.24,
    filepath < 1.6,
    process < 1.7,
    bytestring < 0.13,
    text < 2.2,
    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