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