aboutsummaryrefslogtreecommitdiff
path: root/math/hs-Agda/distinfo
blob: 0719c07a3bb92275dff2253861b5e00728bcc1c1 (plain) (blame)
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
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
TIMESTAMP = 1706798494
SHA256 (cabal/Agda-2.6.4.1/Agda-2.6.4.1.tar.gz) = 23248a9b3c50c81ea4751518a66f2a6144617b6a5a9202686b54e33bc9cbd080
SIZE (cabal/Agda-2.6.4.1/Agda-2.6.4.1.tar.gz) = 1893496
SHA256 (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = c9e764d4ee1e57cad8341bd5d0de33ba3a52b6793fc1309679f2bf60c030bb2b
SIZE (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = 5601
SHA256 (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 632dfded172086fb9f0e26d3578bcfffa3fb6d135ea5a8de17b7a33ff6e6e682
SIZE (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 2575
SHA256 (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 5c0f22b36b28a1a8fa110b3819818d3f29494a3b0dedbae299f064123ca70501
SIZE (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 76849
SHA256 (cabal/STMonadTrans-0.4.8/STMonadTrans-0.4.8.tar.gz) = 839eff14d9f1d2d37f485edf116740d996e1ee9fa82ca2e0a73dfcae0ad5b851
SIZE (cabal/STMonadTrans-0.4.8/STMonadTrans-0.4.8.tar.gz) = 7458
SHA256 (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5e4b39da395656a59827b0280508aafdc70335798b50e5d6fd52596026251825
SIZE (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5048
SHA256 (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 914eefd0e80d12db5c721daa2cbab427acee39795f125c5460c1fe48cf9a5d7f
SIZE (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 341038
SHA256 (cabal/aeson-2.2.1.0/revision/1.cabal) = a23a61aada8233e10573e1612c0b2efe5a1aba0d59b05dbe2f63301822f136cb
SIZE (cabal/aeson-2.2.1.0/revision/1.cabal) = 6582
SHA256 (cabal/alex-3.5.0.0/alex-3.5.0.0.tar.gz) = caed9f23b4bc1cdd6f8083b79a0bb86ba86ed81ab9a1238fe0e13ed544809fed
SIZE (cabal/alex-3.5.0.0/alex-3.5.0.0.tar.gz) = 85601
SHA256 (cabal/ansi-terminal-1.0.2/ansi-terminal-1.0.2.tar.gz) = 46e516cbf66c7807940ba9896c2d71ba5ffdaa35a4fb80dea9313703efa8d834
SIZE (cabal/ansi-terminal-1.0.2/ansi-terminal-1.0.2.tar.gz) = 33561
SHA256 (cabal/ansi-terminal-types-0.11.5/ansi-terminal-types-0.11.5.tar.gz) = bf7b230389f43105100a6d5740822598a88b38eaaf7d042de595ccf72db4fdd1
SIZE (cabal/ansi-terminal-types-0.11.5/ansi-terminal-types-0.11.5.tar.gz) = 4660
SHA256 (cabal/ansi-terminal-types-0.11.5/revision/1.cabal) = f78440dfd95c4509e88855ac7cc2d9566ddf956a92c1290404cac93ad1a1b00a
SIZE (cabal/ansi-terminal-types-0.11.5/revision/1.cabal) = 1482
SHA256 (cabal/assoc-1.1/assoc-1.1.tar.gz) = 7aa2e6548b3d9d49a286ac20639479aaf6c47a1446113ed784d98737c5f60df4
SIZE (cabal/assoc-1.1/assoc-1.1.tar.gz) = 3193
SHA256 (cabal/assoc-1.1/revision/1.cabal) = 56d0fd1c17aaf6268e81bf19ba5afe186128d7f88126bd546d5b3151ab692652
SIZE (cabal/assoc-1.1/revision/1.cabal) = 1617
SHA256 (cabal/async-2.2.5/async-2.2.5.tar.gz) = 1818473ebab9212afad2ed76297aefde5fae8b5d4404daf36939aece6a8f16f7
SIZE (cabal/async-2.2.5/async-2.2.5.tar.gz) = 15742
SHA256 (cabal/base-compat-0.13.1/base-compat-0.13.1.tar.gz) = db1d9e8d56c8bb0066d313a3b5bc4143c021698d377f4c51b3ba010cff1e8421
SIZE (cabal/base-compat-0.13.1/base-compat-0.13.1.tar.gz) = 41518
SHA256 (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 5bbf2da382c5b212d6a8be2f8c49edee0eba30f272a15fd32c13e6e4091ef172
SIZE (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 26418
SHA256 (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 06381471b5be16516a1b2c4b21a5101a3d991038bface8e0cad144c0044d57fc
SIZE (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 38170
SHA256 (cabal/bifunctors-5.6.1/revision/2.cabal) = 82fa7ed8f69f0bfa375de117ab36414c0b96a97ee046edc3ac6da7a295a94755
SIZE (cabal/bifunctors-5.6.1/revision/2.cabal) = 3273
SHA256 (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 66291874236b7342adab033e3cddae414a23a2865dfb44095dfc4e0b9d46703b
SIZE (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 60777
SHA256 (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 60503f42546c6c1b954014d188ea137e43d74dcffd2bf6157c113fd91a0c394c
SIZE (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 81617
SHA256 (cabal/blaze-html-0.9.1.2/revision/4.cabal) = 2e40ad3828320b72122f09754091fb686fa0fd4c083769f17ef84584972ec450
SIZE (cabal/blaze-html-0.9.1.2/revision/4.cabal) = 3020
SHA256 (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 8606ac8b4a1f7f8f1bbc0770b2752e9b6f88ccc9fbdcbb33aa20577d0e5930e8
SIZE (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 14647
SHA256 (cabal/blaze-markup-0.8.3.0/revision/1.cabal) = a8365ac8b98738065c2867682dbcd9b0baeb7a5cd1eaa8e508279edfd19227b9
SIZE (cabal/blaze-markup-0.8.3.0/revision/1.cabal) = 2276
SHA256 (cabal/boxes-0.1.5/boxes-0.1.5.tar.gz) = 38e1782e8a458f342a0acbb74af8f55cb120756bc3af7ee7220d955812af56c3
SIZE (cabal/boxes-0.1.5/boxes-0.1.5.tar.gz) = 7598
SHA256 (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 296dc17e0c5f3dfb3d82ced83e4c9c44c338ecde749b278b6eae512f1d04e406
SIZE (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 53609
SHA256 (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 2cd35dcd6944a5abc9f108a5eb5ee564b6b1fa98a9ec79cefcc20b588991f871
SIZE (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 20675
SHA256 (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = ef6cdf2cc292cc43ee6aa96c581b235fdea8ab44a0bffb24dc79ae2b2ef33d13
SIZE (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = 15227
SHA256 (cabal/comonad-5.0.8/revision/2.cabal) = 4a4dbfbd03fb4963987710fca994e8b5624bd05a33e5f95b7581b26f8229c5e3
SIZE (cabal/comonad-5.0.8/revision/2.cabal) = 3631
SHA256 (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 062fd66580d7aad0b5ba93e644ffa7feee69276ef50f20d4ed9f1deb7642dffa
SIZE (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 13815
SHA256 (cabal/data-fix-0.3.2/data-fix-0.3.2.tar.gz) = 3a172d3bc0639c327345e965f9d9023e099425814b28dcdb7b60ff66d66219cc
SIZE (cabal/data-fix-0.3.2/data-fix-0.3.2.tar.gz) = 5842
SHA256 (cabal/data-fix-0.3.2/revision/5.cabal) = cd7d6ff8b68aca3b51d8116870fc8ccdbc557989562cd3d5c941e4f0b7bc5af1
SIZE (cabal/data-fix-0.3.2/revision/5.cabal) = 1734
SHA256 (cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz) = 9117dd49013ca28ff188fc71c3595ac3af23d56d301c1f39bac93d44d8c60bbe
SIZE (cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz) = 8504
SHA256 (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = d7351392e078f58caa46630a4b9c643e1e2e9dddee45848c5c8358e7b1316b91
SIZE (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = 8140
SHA256 (cabal/distributive-0.6.2.1/revision/1.cabal) = 0f99f5541cca04acf89b64432b03422b6408e830a8dff30e6c4334ef1a48680c
SIZE (cabal/distributive-0.6.2.1/revision/1.cabal) = 2996
SHA256 (cabal/dlist-1.0/dlist-1.0.tar.gz) = 173d637328bb173fcc365f30d29ff4a94292a1e0e5558aeb3dfc11de81510115
SIZE (cabal/dlist-1.0/dlist-1.0.tar.gz) = 18667
SHA256 (cabal/dlist-1.0/revision/1.cabal) = 55ff69d20ce638fc7727342ee67f2f868da61d3dcf3763f790bf9aa0b145e568
SIZE (cabal/dlist-1.0/revision/1.cabal) = 3812
SHA256 (cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz) = 3e8885ee2f56ad4da940f043ae8f981ee2fe336b5e8e4ba3f7436cff4f526c4a
SIZE (cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz) = 13228
SHA256 (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 4d33a49cd383d50af090f1b888642d10116e43809f9da6023d9fc6f67d2656ee
SIZE (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 2351
SHA256 (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 598ad6d9d914f598cea2e65cd92e44348a18380b9334d0d7a1c0a252e9a4008f
SIZE (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 9310
SHA256 (cabal/foldable1-classes-compat-0.1/foldable1-classes-compat-0.1.tar.gz) = d057c3f358e1a6b72c73519bc64ba6aa959f066c08fed69f73258555ef95ff12
SIZE (cabal/foldable1-classes-compat-0.1/foldable1-classes-compat-0.1.tar.gz) = 10484
SHA256 (cabal/foldable1-classes-compat-0.1/revision/4.cabal) = fb4b3cedd33d5c22c573c39baa930c78eaa4feb22d43abb680c3149f8ab9fa4e
SIZE (cabal/foldable1-classes-compat-0.1/revision/4.cabal) = 3782
SHA256 (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 04c5a436bec4b041f71a733f56a1bd7f435f63dde8d3eb5c1f48d55b4dbc43cf
SIZE (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 2870
SHA256 (cabal/generically-0.1.1/revision/2.cabal) = 378ec049bc2853b8011df116647fbd34bb9f00edce9840e4957f98abc097597c
SIZE (cabal/generically-0.1.1/revision/2.cabal) = 1169
SHA256 (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = a89964db24f56727b0e7b10c98fe7c116d721d8c46f52d6e77088669aaa38332
SIZE (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = 3756
SHA256 (cabal/happy-1.20.1.1/happy-1.20.1.1.tar.gz) = 8b4e7dc5a6c5fd666f8f7163232931ab28746d0d17da8fa1cbd68be9e878881b
SIZE (cabal/happy-1.20.1.1/happy-1.20.1.1.tar.gz) = 183409
SHA256 (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 32efb16c2891786209b7cbe5c39df9b3a9ae51e836f1a54f646bc4602b7ab0f5
SIZE (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 25601
SHA256 (cabal/hashable-1.4.3.0/revision/1.cabal) = f3bf68acfa0df7a064a378ef2cdcfeb55e6fb96100675f4c593556dcbf3d7194
SIZE (cabal/hashable-1.4.3.0/revision/1.cabal) = 4718
SHA256 (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 1d32925fb6f78e3a52a849b29fc4360df51c97be95ba8ac642517d3ff01a53d9
SIZE (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 9824
SHA256 (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 0f9b4e895ccc819f74d15f913c93613cc74cab74dbb05d7e305aa387bdbe374a
SIZE (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 3769
SHA256 (cabal/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 00d5e3e149e2bee0f7a547e0093294c306d4276e73a619abe7d8e69f7ce03c7b
SIZE (cabal/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 2550
SHA256 (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 20ac70cf1cb65458bba2c562c209a8930e45bdb89886182d644d0a457fc46f39
SIZE (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 6166
SHA256 (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 0e57a82635323f015b5d6c242bcfbbeeaa9854fe9c8058e57052254dbb24bb14
SIZE (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 2250
SHA256 (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9b0a9f9fab609b15cd015865721fb05f744a1bc77ae92fd133872de528bbea7f
SIZE (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9023
SHA256 (cabal/integer-logarithms-1.0.3.1/revision/5.cabal) = 4d0dfc334e64ff57bb1a08717afa4a4a7f28e4cdc46615dd287be31ef63ec00d
SIZE (cabal/integer-logarithms-1.0.3.1/revision/5.cabal) = 3278
SHA256 (cabal/monad-control-1.0.3.1/monad-control-1.0.3.1.tar.gz) = ae0baea04d99375ef788140367179994a7178d400a8ce0d9026846546772713c
SIZE (cabal/monad-control-1.0.3.1/monad-control-1.0.3.1.tar.gz) = 13985
SHA256 (cabal/murmur-hash-0.1.0.10/murmur-hash-0.1.0.10.tar.gz) = e92fad6000823aa2dabaa55096d2bc4fe21ad347f10614fc684da23e7f48bf90
SIZE (cabal/murmur-hash-0.1.0.10/murmur-hash-0.1.0.10.tar.gz) = 4327
SHA256 (cabal/murmur-hash-0.1.0.10/revision/1.cabal) = 036a54f21ac180681e3799e6288ca32765fa3af8ada41fd4dd73a8a5e1e894a3
SIZE (cabal/murmur-hash-0.1.0.10/revision/1.cabal) = 1222
SHA256 (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 9c188973126e893250b881f20e8811dca06c223c23402b06f7a1f2e995797228
SIZE (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 31309
SHA256 (cabal/network-uri-2.6.4.2/revision/1.cabal) = 6fffb57373962b5651a2db8b0af732098b3bf029a7ced76a9855615de2026588
SIZE (cabal/network-uri-2.6.4.2/revision/1.cabal) = 3217
SHA256 (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 170453a71a2a8b31cca63125533f7771d7debeb639700bdabdd779c34d8a6ef6
SIZE (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 14681
SHA256 (cabal/parallel-3.2.2.0/revision/7.cabal) = b993406e98fe9126eff4a69d28e7e361037dd1c0892a9fd6c26e1f92eb9c4fa4
SIZE (cabal/parallel-3.2.2.0/revision/7.cabal) = 1926
SHA256 (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 8a8fe8718dba5b1a6133e1d9eae5ba69ca76028f59d088985a8489446ac74261
SIZE (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 2915
SHA256 (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 696d4bd291c94d736142d6182117dca4258d3ef28bfefdb649ac8b5ecd0999c7
SIZE (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 60580
SHA256 (cabal/random-1.2.1.1/random-1.2.1.1.tar.gz) = 3e1272f7ed6a4d7bd1712b90143ec326fee9b225789222379fea20a9c90c9b76
SIZE (cabal/random-1.2.1.1/random-1.2.1.1.tar.gz) = 47109
SHA256 (cabal/random-1.2.1.1/revision/1.cabal) = e7c1f881159d5cc788619c9ee8b8f340ba2ff0db571cdf3d1a1968ebc5108789
SIZE (cabal/random-1.2.1.1/revision/1.cabal) = 6777
SHA256 (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 7b99408f580f5bb67a1c413e0bc735886608251331ad36322020f2169aea2ef1
SIZE (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 10488
SHA256 (cabal/regex-base-0.94.0.2/revision/4.cabal) = 0322b2fcd1358f3355e0c8608efa60d27b14d1c9d476451dbcb9181363bd8b27
SIZE (cabal/regex-base-0.94.0.2/revision/4.cabal) = 2601
SHA256 (cabal/regex-tdfa-1.3.2.2/regex-tdfa-1.3.2.2.tar.gz) = 933ed5c54246bb50e335d86b884ffb70bc252b5f776fb291f162a80a27bd75b7
SIZE (cabal/regex-tdfa-1.3.2.2/regex-tdfa-1.3.2.2.tar.gz) = 83016
SHA256 (cabal/regex-tdfa-1.3.2.2/revision/2.cabal) = 92afd144189801dff0fa2544b55c7b6c7c7e556c10dddfb61f2d75909f68af98
SIZE (cabal/regex-tdfa-1.3.2.2/revision/2.cabal) = 6997
SHA256 (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = a3a121c4b3d68fb8b9f8c709ab012e48f090ed553609247a805ad070d6b343a9
SIZE (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = 24723
SHA256 (cabal/scientific-0.3.7.0/revision/7.cabal) = 909755ab19b453169ff85281323da1488407776b2360bd9f7afdd219fd306ef2
SIZE (cabal/scientific-0.3.7.0/revision/7.cabal) = 4869
SHA256 (cabal/semialign-1.3/semialign-1.3.tar.gz) = 628e43319f584a8dd46c124ee0685cac586e0f6f877c5ceff37c3dbb2e3cc56c
SIZE (cabal/semialign-1.3/semialign-1.3.tar.gz) = 10543
SHA256 (cabal/semialign-1.3/revision/1.cabal) = 7be9ef5ca1d6b052991f68c053aab68b9d1ab3b1938c9557ac84c97937815223
SIZE (cabal/semialign-1.3/revision/1.cabal) = 2888
SHA256 (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 7da38a9891bdf8205fd6522cdb712956b8c0bf5c52983da60295c8e057d77934
SIZE (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 36222
SHA256 (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 47a23b451c114e65361e713e8fe36828fca3a84285325e8f444254b2ab0c43c5
SIZE (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 7465
SHA256 (cabal/split-0.2.5/split-0.2.5.tar.gz) = 52da404e8397c1ab238354c8d4fd9a7e9c5cac8849cc2ce2e45facc85e74a913
SIZE (cabal/split-0.2.5/split-0.2.5.tar.gz) = 16008
SHA256 (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 9df07a9611ef45f1b1258a0b412f4d02c920248f69d2e2ce8ccda328f7e13002
SIZE (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 22399
SHA256 (cabal/strict-0.5/strict-0.5.tar.gz) = 3f4f0995dec2d520d0e321542f71412dac023658fdab603db04364d75269a0fd
SIZE (cabal/strict-0.5/strict-0.5.tar.gz) = 12564
SHA256 (cabal/strict-0.5/revision/1.cabal) = bd57d7b3655951dfaa7d1e1374d7352dfe83f82a9c98309bf3a6587ef8cbd87d
SIZE (cabal/strict-0.5/revision/1.cabal) = 4120
SHA256 (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = a083fa7835516203c168433a1c8dfc0290a94b05fedab566ad0640fc9137a6a7
SIZE (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = 10094
SHA256 (cabal/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = f58e7a46f951f1f13d2929e0a2f84f6db7894d55a641169aaf300aea9ada5fcf
SIZE (cabal/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = 9578
SHA256 (cabal/text-iso8601-0.1/revision/1.cabal) = ac86f2500ca751db3c0de029dd7e7826bef7366d59dc0085b00fc695c43b9f76
SIZE (cabal/text-iso8601-0.1/revision/1.cabal) = 2407
SHA256 (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = a35ec6cde2ada084c1a050dc5885be5ab01f851b93d744cf0facbc1c18002dda
SIZE (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = 25113
SHA256 (cabal/text-short-0.1.5/revision/3.cabal) = 9c73c9c9182ca69ee92ce3758f515b1c078cd167d882ccc8c46f92f68c65e190
SIZE (cabal/text-short-0.1.5/revision/3.cabal) = 3216
SHA256 (cabal/th-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 69ea6eca1f0c00b6e1e1f8329c908ec76e73855e2ce6e91ace2f8bbf92c51a30
SIZE (cabal/th-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 43152
SHA256 (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = d8959fa6a2812afcdd5f6f255fd6be8b3e0ca01e425586a554544fcb70b0ec7c
SIZE (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = 2303
SHA256 (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = d8f97ac14ab47b6b8a7b0fdb4ff95426322ec56badd01652ac15da4a44d4bab8
SIZE (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = 14838
SHA256 (cabal/th-compat-0.1.4/revision/4.cabal) = f5f2c679ecc1c1b83d2d68db6cc564e5c78d53425e69e1b9e36784820e122d37
SIZE (cabal/th-compat-0.1.4/revision/4.cabal) = 3224
SHA256 (cabal/these-1.2/these-1.2.tar.gz) = a8ed7174b7f790764360f48aab72fea382a6093ed369c7bc6881fae1abacd4b8
SIZE (cabal/these-1.2/these-1.2.tar.gz) = 10606
SHA256 (cabal/these-1.2/revision/1.cabal) = 011e22f6891ca028f87c04ea48796696c92d593313a9c699f7ff4f9ffd7aec6e
SIZE (cabal/these-1.2/revision/1.cabal) = 2882
SHA256 (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = ad07bb00eb9678c2136d3680752b00acc4cbc522654bb3199bf31c61ef1e6b80
SIZE (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = 59964
SHA256 (cabal/time-compat-1.9.6.1/revision/6.cabal) = 17631ef01a03a6f55fbe131690f87f6dee9a1572acc99b6c06f04882470ffb52
SIZE (cabal/time-compat-1.9.6.1/revision/6.cabal) = 5076
SHA256 (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 323bf8689eb691b122661cffa41a25e00fea7a768433fe2dde35d3da7d32cf90
SIZE (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 2902
SHA256 (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = b62c7304c9f3cbc9463d0739aa85cb9489f217ea092b9d625d417514fbcc9d6a
SIZE (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = 46485
SHA256 (cabal/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = d9cfb287cf00592d39dc9c3cac8b99627ea08f2c01798e70130fc39f7c90f11d
SIZE (cabal/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = 59823
SHA256 (cabal/unordered-containers-0.2.20/revision/1.cabal) = 746c32b23f93cb13e52309e54e82d69e4315105f9815b1fcac25a57071505cff
SIZE (cabal/unordered-containers-0.2.20/revision/1.cabal) = 3921
SHA256 (cabal/uri-encode-1.5.0.7/uri-encode-1.5.0.7.tar.gz) = c79c624257833841a22890e4d2b0ab07e4be88e0f99474d328223815c0814252
SIZE (cabal/uri-encode-1.5.0.7/uri-encode-1.5.0.7.tar.gz) = 3506
SHA256 (cabal/uri-encode-1.5.0.7/revision/3.cabal) = 1b432e4fe43da8059feaeb6b4e973c2c4481ee86829d528f2be78a0e3645ec00
SIZE (cabal/uri-encode-1.5.0.7/revision/3.cabal) = 2462
SHA256 (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = ee48deada7600370728c4156cb002441de770d0121ae33a68139a9ed9c19b09a
SIZE (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = 10726
SHA256 (cabal/uuid-types-1.0.5.1/uuid-types-1.0.5.1.tar.gz) = 0bec6d6982b3c92bfa5eab1d213be2d4b6696b9a2c3a1f1f05812dc3762dca2c
SIZE (cabal/uuid-types-1.0.5.1/uuid-types-1.0.5.1.tar.gz) = 11965
SHA256 (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 63f272279eab8ab9411a0fffb1252ac309b297313f8e33be9ebbc2f981edecee
SIZE (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 156855
SHA256 (cabal/vector-hashtables-0.1.1.4/vector-hashtables-0.1.1.4.tar.gz) = 4c5d75a3384e76ea4c02587c2bd8123cff3c5c8aab182cee58aea38d824c715b
SIZE (cabal/vector-hashtables-0.1.1.4/vector-hashtables-0.1.1.4.tar.gz) = 15765
SHA256 (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = d0f507334bdea5431a2f07f525a97f29e76522c32210f5de6d5a2b4f1d42bf7c
SIZE (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = 12577
SHA256 (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 790d2bb274283419173bd89104439860675a9410f70f21912973ecd9098b4104
SIZE (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 11876
SHA256 (cabal/witherable-0.4.2/revision/4.cabal) = cec516b35df0ff53ab0068e70a912a0ba7b65c672fbc554727183faa195ad3b8
SIZE (cabal/witherable-0.4.2/revision/4.cabal) = 2342
SHA256 (cabal/zlib-0.6.3.0/zlib-0.6.3.0.tar.gz) = 9eaa989ad4534438b5beb51c1d3a4c8f6a088fdff0b259a5394fbf39aaee04da
SIZE (cabal/zlib-0.6.3.0/zlib-0.6.3.0.tar.gz) = 369595
SHA256 (cabal/zlib-0.6.3.0/revision/4.cabal) = 19eb7759af71957811d5ec10ddb1e2f4c98700ddb9c0da6860c0441d811f0e6d
SIZE (cabal/zlib-0.6.3.0/revision/4.cabal) = 5325