agda-stdlib-utils.cabal

name:            agda-stdlib-utils
version:         2.0-dev
cabal-version:   >= 1.10
build-type:      Simple
description:     Helper programs.
license:         MIT
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.1

executable GenerateEverything
  hs-source-dirs:   .
  main-is:          GenerateEverything.hs
  default-language: Haskell2010
  default-extensions: PatternGuards, PatternSynonyms
  build-depends:      base      >= 4.9.0.0 && < 4.17
                    , directory >= 1.0.0.0 && < 1.4
                    , filemanip >= 0.3.6.2 && < 0.4
                    , filepath  >= 1.4.1.0 && < 1.5
                    , mtl       >= 2.2.2   && < 2.4

executable AllNonAsciiChars
  hs-source-dirs:   .
  main-is:          AllNonAsciiChars.hs
  default-language: Haskell2010
  build-depends:      base      >= 4.9.0.0 && < 4.17
                    , filemanip >= 0.3.6.2 && < 0.4
                    , text      >= 1.2.3.0 && < 2.1