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.17.2 && < 4.18,
    pandoc-types >= 1.23.1 && < 1.24
  ghc-options: -Wall  -Wunused-packages

library
  import:           common-stuff
  hs-source-dirs:   src
  exposed-modules:
    Text.Pandoc.Filters.LogicProof
  build-depends:
    pandoc >= 3.0.1 && < 3.1,
    text >= 2.0.2 && < 2.1

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