cabal-version: >=1.10 -- Initial package description 'agda2lagda.cabal' generated by 'cabal -- init'. For further documentation, see -- http://haskell.org/cabal/users-guide/ name: agda2lagda version: 0.2020.9.30 synopsis: Translate .agda files into .lagda.tex files. description: Simple command line tool to convert plain Agda files into literate files. Single 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 category: Dependent types build-type: Simple extra-source-files: CHANGELOG.md README.md Makefile test/Foo.agda test/ClosingCommentInString.agda 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.2 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.2020.9.30 executable agda2lagda main-is: Main.hs other-modules: LexicalStructure Render -- other-extensions: build-depends: base >=4.9 && < 5 , ansi-wl-pprint -- , 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 -Wno-missing-pattern-synonym-signatures