cabal-version: >=1.10 -- NB: Cabal file initially generated by 'cabal init'. name: agda2lagda version: 0.2023.1.11 synopsis: Translate .agda files into .lagda.tex files. description: Simple command line tool to convert plain Agda or Haskell files into literate files. Line comments are interpreted as text, the rest as code blocks. homepage: https://github.com/andreasabel/agda2lagda bug-reports: https://github.com/andreasabel/agda2lagda/issues license: PublicDomain license-file: LICENSE author: Andreas Abel maintainer: Andreas Abel copyright: Andreas Abel, 2020, 2021, 2022 category: Dependent types, Development build-type: Simple extra-source-files: CHANGELOG.md README.md Makefile test/*.goldplate test/*.agda test/golden/*.lagda.md test/golden/*.lagda.tex tested-with: GHC == 8.0.2 GHC == 8.2.2 GHC == 8.4.4 GHC == 8.6.5 GHC == 8.8.4 GHC == 8.10.7 GHC == 9.0.2 GHC == 9.2.5 GHC == 9.4.4 source-repository head type: git location: git://github.com/andreasabel/agda2lagda.git source-repository this type: git location: git://github.com/andreasabel/agda2lagda.git tag: v0.2023.1.11 executable agda2lagda main-is: Main.hs other-modules: LexicalStructure Markup Options Render Util Version Paths_agda2lagda -- other-extensions: build-depends: base >=4.9 && < 5 -- , ansi-wl-pprint >= 0.6.7.3 && < 0.7 , directory -- , directory >= 1.2.6.2 && < 1.4 , filepath -- , filepath == 1.4.* , optparse-applicative -- , optparse-applicative >= 0.13 && < 0.16 hs-source-dirs: src default-language: Haskell2010 default-extensions: -- BangPatterns -- ConstraintKinds -- DefaultSignatures -- DeriveDataTypeable -- DeriveFoldable DeriveFunctor -- DeriveTraversable -- ExistentialQuantification -- FlexibleContexts -- FlexibleInstances -- FunctionalDependencies -- InstanceSigs LambdaCase -- MultiParamTypeClasses MultiWayIf -- NamedFieldPuns -- OverloadedStrings PatternSynonyms -- RankNTypes RecordWildCards -- ScopedTypeVariables -- StandaloneDeriving TupleSections -- TypeSynonymInstances ghc-options: -Wall -Wcompat -Wno-missing-pattern-synonym-signatures test-suite test type: exitcode-stdio-1.0 hs-source-dirs: test main-is: Tests.hs default-language: Haskell2010 ghc-options: -threaded build-depends: base >= 4.11 -- goldplate requires ghc >= 8.4 , process build-tool-depends: goldplate:goldplate -- We also need to depend on ourselves since goldplate calls us. , agda2lagda:agda2lagda