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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
packages: .
source-repository-package
type: git
location: https://github.com/sheaf/ghc-tcplugins-extra
tag: 6842eb467dde87cf6249828011f4c9d717f7f2b0
source-repository-package
type: git
location: https://github.com/sheaf/ghc-typelits-natnormalise/
tag: 80f42a6ec6c08493b3c1d0b9315686e4b2b39d32
source-repository-package
type: git
location: https://github.com/sheaf/ghc-typelits-knownnat
tag: 4a33943930cd34a86ee979c8466eaa9fba1871e2
repository head.hackage.ghc.haskell.org
url: https://ghc.gitlab.haskell.org/head.hackage/
secure: True
key-threshold: 3
root-keys:
7541f32a4ccca4f97aea3b22f5e593ba2c0267546016b992dfadcd2fe944e55d
26021a13b401500c8eb2761ca95c61f2d625bfef951b939a8124ed12ecf07329
f76d08be13e9a61a377a85e2fb63f4c5435d40f8feb3e12eb05905edb8cdea89
allow-newer:
Cabal,
base,
binary,
bytestring,
containers,
deepseq,
ghc,
ghc-bignum,
ghc-boot,
ghc-boot-th,
ghc-prim,
integer-gmp,
template-haskell,
text,
time
constraints:
base installed,
ghc installed,
ghc-bignum installed,
ghc-prim installed,
integer-gmp installed,
template-haskell installed
constraints:
Agda ==2.7.0.1,
Cabal ==2.4.1.0 || ==3.0.2.0 || ==3.2.1.0,
Cabal-syntax ==3.8.1.0,
FPretty ==1.1,
JuicyPixels ==3.3.8,
algebraic-graphs ==0.7,
ansi-pretty ==0.1.2.2,
arith-encode ==1.0.2,
aur ==7.0.7,
aura ==3.2.10,
barbies-th ==0.1.11,
box-tuples ==0.2.0.4,
bv-sized ==1.0.5,
charsetdetect ==1.1.0.3,
charsetdetect-ae ==1.1.0.4,
chaselev-deque ==0.5.0.5,
containers ==0.6.7 || ==0.6.8 || ==0.7 || ==0.8,
critbit ==0.2.0.0,
crypto-random ==0.0.9,
cryptol ==3.1.0,
data-default-instances-new-base ==0.0.2,
data-r-tree ==0.6.0,
datetime ==0.3.1,
derive-lifted-instances ==0.2.2,
doctest ==0.24.0,
drinkery ==0.4,
endo ==0.3.0.1,
enumeration ==0.2.0,
free-functors ==1.2.1,
freer-simple ==1.2.1.2,
ghc-lib-parser ==9.8.4.20241130,
ghc-typelits-extra ==0.4.7,
ghcide ==2.9.0.0,
haskell-src-meta ==0.8.13,
haxl ==2.4.0.0,
hgeometry ==0.14,
hgeometry-combinatorial ==0.14,
hgeometry-ipe ==0.13,
inj-base ==0.2.0.0,
io-choice ==0.0.7,
language-bash ==0.11.1,
language-haskell-extract ==0.2.4,
lens ==5.2.3,
liquidhaskell-boot ==0.9.12.2,
mainland-pretty ==0.7.1,
monoidal-containers ==0.6.4.0,
packman ==0.5.0,
partial-isomorphisms ==0.2.3.0,
pgp-wordlist ==0.1.0.3,
refinery ==0.4.0.0,
rio ==0.1.22.0,
row-types ==1.0.1.2,
salak ==0.3.6,
sbv ==10.2,
singletons ==3.0.2,
siphash ==1.0.3,
strict-containers ==0.2,
text-short ==0.1.5,
text-show ==3.10.5,
th-abstraction ==0.5.0.0 || ==0.6.0.0,
th-compat ==0.1.4,
true-name ==0.1.0.3,
typelits-printf ==0.2.0.0,
vector-circular ==0.1.4,
vector-space ==0.16,
what4 ==1.5.1,
winery ==1.4
constraints:
optparse-applicative -process,
tasty -unix
|
