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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
cabal-version: 2.4
name: agda-stdlib-utils
version: 2.3
build-type: Simple
description: Helper programs for setting up the Agda standard library.
license: MIT
tested-with:
GHC == 9.12.2
GHC == 9.10.2
GHC == 9.8.4
GHC == 9.6.7
GHC == 9.4.8
GHC == 9.2.8
GHC == 9.0.2
GHC == 8.10.7
GHC == 8.8.4
GHC == 8.6.5
common common-build-parameters
default-language:
Haskell2010
default-extensions:
PatternGuards
PatternSynonyms
build-depends:
base >= 4.12.0.0 && < 4.22
, filemanip >= 0.3.6.2 && < 0.4
executable GenerateEverything
import: common-build-parameters
hs-source-dirs: .
main-is: GenerateEverything.hs
build-depends:
directory >= 1.0.0.0 && < 1.4
, filepath >= 1.4.1.0 && < 1.6
, mtl >= 2.2.2 && < 2.4
executable AllNonAsciiChars
import: common-build-parameters
hs-source-dirs: .
main-is: AllNonAsciiChars.hs
build-depends:
text >= 1.2.3.1 && < 2.2
|
