agda-stdlib/agda-stdlib-utils.cabal at master · mechvel/agda-stdlib · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
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.5
                 GHC == 9.0.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.16
                    , 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.3

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