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