pandoc-logic-proof-0.2.0.4: pandoc-logic-proof.cabal

cabal-version:   3.0
name:            pandoc-logic-proof
version:         0.2.0.4
synopsis:        A pandoc filter that provides a Markdown extension for logic proofs.
description:
  For more information and a tutorial on how to use this package,
  please see the README at <https://github.com/mhwombat/pandoc-logic-proof#readme>.
homepage:        https://github.com/mhwombat/pandoc-logic-proof
bug-reports:     https://github.com/mhwombat/pandoc-logic-proof/issues
license:         BSD-3-Clause
license-file:    LICENSE
author:          Amy de Buitléir
maintainer:      amy@nualeargais.ie
copyright:       (c) 2020-2023 Amy de Buitléir
category:        Text
build-type:      Simple
extra-doc-files: CHANGELOG.md

source-repository head
  type:              git
  location:          https://github.com/mhwombat/pandoc-logic-proof.git

common common-stuff
  default-language: Haskell2010
  default-extensions: ImportQualifiedPost
  build-depends:
    base >= 4.16.4 && < 4.17,
    pandoc-types >= 1.22.2 && < 1.23
  ghc-options: -Wall  -Wunused-packages

library
  import:           common-stuff
  hs-source-dirs:   src
  exposed-modules:
    Text.Pandoc.Filters.LogicProof
  build-depends:
    pandoc >= 2.19.2 && < 2.20,
    text >= 1.2.5 && < 1.3

executable pandoc-logic-proof
  import:           common-stuff
  hs-source-dirs:   app
  main-is:          Main.hs
  build-depends:
    pandoc-logic-proof