forked from agda/agda-stdlib
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathlib.cabal
28 lines (26 loc) · 884 Bytes
/
lib.cabal
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
name: lib
version: 1.4-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.2
GHC == 8.8.3
GHC == 8.10.1
executable GenerateEverything
hs-source-dirs: .
main-is: GenerateEverything.hs
default-language: Haskell2010
build-depends: base >= 4.9.0.0 && < 4.15
, directory >= 1.0.0.0 && < 1.4
, filemanip >= 0.3.6.2 && < 0.4
, filepath >= 1.4.1.0 && < 1.5
executable AllNonAsciiChars
hs-source-dirs: .
main-is: AllNonAsciiChars.hs
default-language: Haskell2010
build-depends: base >= 4.9.0.0 && < 4.15
, filemanip >= 0.3.6.2 && < 0.4