aboutsummaryrefslogtreecommitdiffstats
path: root/testing/idris/cabal.config
blob: a681c4df3bc5cfd07f818ddb689af4e833d24cab (plain)
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
--1.3.2
constraints: Cabal ==2.4.0.1,
             aeson ==1.4.7.1,
             annotated-wl-pprint ==0.7.0,
             ansi-terminal ==0.8.2,
             ansi-wl-pprint ==0.6.8.2,
             array ==0.5.3.0,
             async ==2.2.2,
             attoparsec ==0.13.2.4,
             base ==4.12.0.0,
             base-compat ==0.11.1,
             base-compat-batteries ==0.11.1,
             base-orphans ==0.8.2,
             base64-bytestring ==1.0.0.3,
             binary ==0.8.6.0,
             blaze-builder ==0.4.1.0,
             blaze-html ==0.9.1.2,
             blaze-markup ==0.8.2.4,
             bytestring ==0.10.8.2,
             case-insensitive ==1.2.1.0,
             cheapskate ==0.1.1.2,
             code-page ==0.2,
             colour ==2.3.5,
             constraints ==0.12,
             containers ==0.6.0.1,
             css-text ==0.1.3.0,
             data-default ==0.7.1.1,
             data-default-class ==0.1.2.0,
             data-default-instances-containers ==0.0.1,
             data-default-instances-dlist ==0.0.1,
             data-default-instances-old-locale ==0.0.1,
             deepseq ==1.4.4.0,
             digest ==0.0.1.2,
             directory ==1.3.3.0,
             dlist ==0.8.0.8,
             enclosed-exceptions ==1.0.3,
             exceptions ==0.10.4,
             filepath ==1.4.2.1,
             fingertree ==0.1.4.2,
             fsnotify ==0.3.0.1,

             ghc-prim ==0.5.3,
             hashable ==1.3.0.0,
             haskeline ==0.7.4.3,
             hinotify ==0.4,
             hsc2hs ==0.68.7,
             ieee754 ==0.8.0,
             integer-gmp ==1.0.2.0,
             integer-logarithms ==1.0.3,
             lifted-async ==0.10.0.6,
             lifted-base ==0.2.3.12,
             megaparsec ==7.0.5,
             monad-control ==1.0.2.3,
             mtl ==2.2.2,
             network ==2.8.0.1,
             network-uri ==2.6.3.0,
             old-locale ==1.0.0.7,
             optparse-applicative ==0.14.3.0,
             parsec ==3.1.13.0,
             parser-combinators ==1.2.1,
             pretty ==1.1.3.6,
             primitive ==0.7.0.1,
             process ==1.6.5.0,
             random ==1.1,
             regex-base ==0.94.0.0,
             regex-tdfa ==1.3.1.0,

             safe ==0.3.18,
             scientific ==0.3.6.2,
             semigroups ==0.19.1,
             shelly ==1.9.0,
             split ==0.2.3.4,
             stm ==2.5.0.0,
             syb ==0.7.1,
             tagged ==0.8.6,
             tagsoup ==0.14.8,
             template-haskell ==2.14.0.0,
             terminal-size ==0.3.2.1,
             terminfo ==0.4.1.2,
             text ==1.2.3.1,
             th-abstraction ==0.3.2.0,
             time ==1.8.0.2,
             time-compat ==1.9.3,
             transformers ==0.5.6.2,
             transformers-base ==0.4.5.2,
             transformers-compat ==0.6.5,
             type-equality ==1,
             uniplate ==1.6.12,
             unix ==2.7.2.2,
             unix-compat ==0.5.2,
             unordered-containers ==0.2.10.0,
             utf8-string ==1.0.1.1,
             uuid-types ==1.0.3,
             vector ==0.12.1.2,
             vector-binary-instances ==0.2.5.1,
             xss-sanitize ==0.3.6,
             zip-archive ==0.4.1,
             zlib ==0.6.2.1