generated from actions/typescript-action
-
Notifications
You must be signed in to change notification settings - Fork 3
/
Agda.versions.yml
469 lines (469 loc) · 19.3 KB
/
Agda.versions.yml
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
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
nightly:
binary:
macos:
x64:
- url: https://github.com/agda/agda/releases/download/nightly/Agda-nightly-macOS.tar.xz
dir: Agda-nightly
linux:
x64:
- url: https://github.com/agda/agda/releases/download/nightly/Agda-nightly-linux.tar.xz
dir: Agda-nightly
windows:
x64:
- url: https://github.com/agda/agda/releases/download/nightly/Agda-nightly-win64.zip
dir: Agda-nightly
compatibility:
agda-stdlib: '1.7.3 - 2.0'
2.6.4.1:
binary:
macos:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-11-ghc9.4.7-icu73.2.zip
sha256: aa716b624d8351fb962600f9a95fad3a17bbb0ea969d32b636c27c567b4b2cc5
target: macos-11
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-12-ghc9.4.7-icu73.2.zip
sha256: d56b21198cc87b05634501535c26980604dbed9459255643ede054dda6e96889
target: macos-12
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-13-ghc9.4.7-icu73.2.zip
sha256: b3a61968f2e7b94b76bb6ca9276dc8f499c2d89cccb1e1a3f9fb6d4dc98da631
target: macos-13
linux:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1.zip
sha256: 22adb4ee6be4ecafd7bc1efc91121944de18cc988e8098e8474f4c8bf67fb004
target: ubuntu-20.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-22.04-ghc9.4.7-icu70.1.zip
sha256: bd6aca2275ec9947643f51fe30826714a451aadef681d83c70a48c4a36c31665
target: ubuntu-22.04
windows:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.1.zip
sha256: 19a761f43e0370f8e82e4ea7dd80e4b222e12b9b0a1e1539bf8d6d08d5188e81
target: windows-2022
compatibility:
agda-stdlib: '1.7.3 - 2.0'
ghc: '8.6.5 - 9.8.1'
configuration:
macos: |
--flags=+enable-cluster-counting
--flags=+optimise-heavily
linux: |
--enable-split-sections
--flags=+enable-cluster-counting
--flags=+optimise-heavily
windows: |
--enable-split-sections
--flags=+enable-cluster-counting
2.6.4:
binary:
macos:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-macos-12-ghc9.6.3-icu73.2.zip
sha256: 54911fff70bbae66cea42a4b8e9c467860211a555c53efc584a554ca3e657b5e
target: macos-12
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-macos-11-ghc9.4.7-icu73.2.zip
sha256: 6870daaee3beebe7fd7dc194a2616e23a0d24b3577f3e578c4d507d5b3313e6b
target: macos-11
linux:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-ubuntu-22.04-ghc9.6.3-icu70.1.zip
sha256: 0280ff4001f0f374f04bd5fbe66fde9efcba29c4daff44a9e6efec1513d39373
target: ubuntu-22.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-ubuntu-20.04-ghc9.6.3-icu66.1.zip
sha256: 16b4bb129ea44c5c5bb84ac20016519af08c6e38999c9677052a8845c7b90e11
target: ubuntu-20.04
windows:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-windows-2022-ghc9.6.3-icu73.2.zip
sha256: 123f7f0791903919b0fded935f3e620f1d4400fd1f16e44ac5346a512f6cbd17
target: windows-2022
compatibility:
agda-stdlib: '1.7.3'
ghc: '8.6.5 - 9.6.3'
configuration:
macos: |
--flags=+enable-cluster-counting
--flags=+optimise-heavily
linux: |
--enable-split-sections
--flags=+enable-cluster-counting
--flags=+optimise-heavily
windows: |
--enable-split-sections
--flags=+enable-cluster-counting
2.6.3:
binary:
macos:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-macos-12-ghc9.4.4-icu72.1.zip
sha256: ef1aee7f6721ac30402ce7debd8aed0fe883d278a943bcf3f3f0edc3bfbf0df8
target: macos-12
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-macos-11-ghc9.4.4-icu72.1.zip
sha256: ff0ea4f5e57064df1664a251119b78409c2c7f2f84e4592d4c8f85c197401c2d
target: macos-11
linux:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-ubuntu-22.04-ghc9.4.4-icu70.1.zip
sha256: f55daf1e2623a5bb4155c5a7eff57ee465a8d87ed253625c870dc30e79972420
target: ubuntu-22.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-ubuntu-20.04-ghc9.4.4-icu66.1.zip
sha256: 12d62d4783fb8daaa1a0630fbb68a412ad4c23dc52a33eef0eab6a514d291d08
target: ubuntu-20.04
windows:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-windows-2022-ghc9.4.4-icu72.1.zip
sha256: 2143d880a85da0d71951b7471e6f3414f6c07ce6cd70e936fd0451b0b9d46951
target: windows-2022
compatibility:
agda-stdlib: '1.7.2'
ghc: '8.0.2 - 9.4.4'
configuration:
macos: |
--flags=+enable-cluster-counting
--flags=+optimise-heavily
linux: |
--enable-split-sections
--flags=+enable-cluster-counting
--flags=+optimise-heavily
windows: |
--enable-split-sections
--flags=+enable-cluster-counting
2.6.2.2:
binary:
macos:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-11-ghc9.2.4-icu72.1.zip
sha256: a72435a774355dd837945a5764bf6778188d387488c356d034ca44bf7f8eec85
target: macos-11
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-12-ghc9.2.4-icu72.1.zip
sha256: d1205dd6527033c5011e1800e26bc24dc784d5a761bebebf20da150a70c5de3a
target: macos-12
linux:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip
sha256: d15b2f41d1d9b6e95f75e388a66e1439610cb6d1cc5c90b3f136e79d020aa367
target: ubuntu-20.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-22.04-ghc9.2.4-icu70.1.zip
sha256: d49021a4dd6852648d64a8911be8e90b76c0adab92d14d54e018287b20712e72
target: ubuntu-22.04
windows:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip
sha256: e442bf8ec6e6dc6cbffe6537144878a2eef0057a43c7bdd3a5d4d9828ae20582
target: windows-2022
compatibility:
agda-stdlib: '1.7.1'
ghc: '8.0 - 9.2'
configuration:
macos: |
--flags=+enable-cluster-counting
--flags=+optimise-heavily
linux: |
--enable-split-sections
--flags=+enable-cluster-counting
--flags=+optimise-heavily
windows: |
--enable-split-sections
--flags=+enable-cluster-counting
2.6.2.1:
binary:
macos:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-11-ghc9.0.2-icu72.1.zip
sha256: a63c6465c5251dc7a7bb9336fed995571bcc7c2f89839d16257bc0f8da0182c4
target: macos-11
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-12-ghc9.0.2-icu72.1.zip
sha256: d10863cba4aa7cf7a539f6a6922846be1773cac8bc2bea76d773a007fff60510
target: macos-12
linux:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip
sha256: 9182e391336e2359b707deebf11a87b1a098979c053ddfd1468c3485bee064d6
target: ubuntu-20.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip
sha256: a7d48d29f41a21efd683b04ae321112f7dc40944f8df29e8a76319e52941d7a8
target: ubuntu-22.04
windows:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip
sha256: 1bdbc325826268bbd8289cc0737dbab3390e4767da13c269c22847a45d1df86a
target: windows-2022
compatibility:
agda-stdlib: '1.7.1'
ghc: '8.0 - 9.2'
configuration:
macos: |
--flags=+enable-cluster-counting
--flags=+optimise-heavily
linux: |
--enable-split-sections
--flags=+enable-cluster-counting
--flags=+optimise-heavily
windows: |
--enable-split-sections
--flags=+enable-cluster-counting
2.6.2:
binary:
macos:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-11-ghc9.0.2-icu72.1.zip
sha256: 37e20554406421132c7ee68c13cc3d325c081ed9d5bcd842d52f181b53b076fc
target: macos-11
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-12-ghc9.0.2-icu72.1.zip
sha256: d45220cf1c8204483dfe0b97aeaa13127e70d9b80811de2b3b92219606647cb2
target: macos-12
linux:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip
sha256: 272c7f465eff8e4a4b3946415131d29977966f8543013d876b5d36ecea7f29af
target: ubuntu-20.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip
sha256: ca014d2053274d8b8d69d25be4c6c75988a5e59794739420582a179227a95fa1
target: ubuntu-22.04
windows:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip
sha256: be38e10485e6d3a2836d330a7e08de6993b5ce112803f4efa56c11a0c15eeffa
target: windows-2022
compatibility:
agda-stdlib: '1.7 - 1.7.1'
ghc: '8.0 - 9.0'
configuration:
macos: |
--flags=+enable-cluster-counting
--flags=+optimise-heavily
linux: |
--enable-split-sections
--flags=+enable-cluster-counting
--flags=+optimise-heavily
windows: |
--enable-split-sections
--flags=+enable-cluster-counting
2.6.1.3:
binary:
macos:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-11-ghc8.10.7-icu72.1.zip
sha256: ebd241eeb7951f1e227bdd668683c5362402ab32484cb888d0ec22f9a75f2a1c
target: macos-11
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-12-ghc8.10.7-icu72.1.zip
sha256: 1828e2ae06621d70acb8c0fa5c6bf8fb14b40a4be34d26c5a69c1c40b712717d
target: macos-12
linux:
x64:
# - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-18.04-ghc8.10.7-icu60.2.zip
# sha256: 19afe986efbe7fafcf7b5e6b1b3709e7fcdc6c8b381d4f5c7da8464875ee7a24
# target: ubuntu-18.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip
sha256: 7632e8a38ad01129e342c0b4b25160a20865566ab8b48422a6bd520120882001
target: ubuntu-20.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-22.04-ghc8.10.7-icu70.1.zip
sha256: b52dacaa226f914d470edf517c4c172bd275ecbf4ec1315e0ed92758daae095a
target: ubuntu-22.04
windows:
x64: []
compatibility:
agda-stdlib: '1.5 - 1.6'
ghc: '8.0 - 8.10'
configuration:
macos: |
--flags=+enable-cluster-counting
linux: |
--enable-split-sections
--flags=+enable-cluster-counting
windows: |
--enable-split-sections
--flags=+enable-cluster-counting
2.6.0.1:
binary:
macos:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-11-ghc8.6.5-icu72.1.zip
sha256: 0831433eeac32c0dced3358ecbcd6b6fe84015e9c331e87a4e0b15eb9ec0d7a6
target: macos-11
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-12-ghc8.6.5-icu72.1.zip
sha256: 19e8a75237940f4ab28cd19e74e08f000a88c7f448c700a922399456c7e86aec
target: macos-12
linux:
x64:
# - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-18.04-ghc8.6.5-icu60.2.zip
# sha256: 46db43c131b97fa91b088304a17efc2df1670635ea55dcf9fb6a768d00268f5f
# target: ubuntu-18.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip
sha256: 4e248165fa319878468a77c1cb037101712e6ea08d21d611cc327fc220cda14c
target: ubuntu-20.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-22.04-ghc8.6.5-icu70.1.zip
sha256: 8bb8524b95a08bb15f599ece371039d045b90d47ac8c1a44014af746dae7e3fb
target: ubuntu-22.04
windows:
x64: []
compatibility:
agda-stdlib: '1.0.1 - 1.2'
ghc: '7.10 - 8.6'
configuration: |
--flags=+enable-cluster-counting
2.5.4.2:
binary:
macos:
x64:
# - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu72.1.zip
# sha256: 02bf624508d2fb2c7221cda40c1907cf4989bf709b9c1f33b63f4a909faedb7b
# target: macos-11
# - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu72.1.zip
# sha256: f6fe5530a66c2aa36696864841ef8d937f56d5f3ef4000e86bc657eee5a2807a
# target: macos-12
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu73.2.zip
sha256: f21aa390e0961c9d42cf1642be1e59295c0367fafd79d7347af2c47d1bb7fe19
target: macos-11
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu73.2.zip
sha256: c431468fac904204a9fc423cbfc8f8497486cacda6893cdadbb2def34f7bd634
target: macos-12
linux:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip
sha256: 5be8ca3253954c5602222936fd6901c5743bf56c19eb055a04f31e17564c4215
target: ubuntu-20.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-22.04-ghc8.4.4-icu70.1.zip
sha256: f183a793a1dd0856f69a86bc17d293ec52b2270113507ff59811fa5de59ebf18
target: ubuntu-22.04
windows:
x64: []
compatibility:
agda-stdlib: '0.17'
ghc: '7.10 - 8.4'
configuration: |
--flags=+enable-cluster-counting
2.5.3:
binary:
macos:
x64:
# - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-11-ghc8.2.2-icu72.1.zip
# sha256: a13960b2e8946f1790f62b3c9db26dd80194e3b6e9e7a1d294a5932086121a9f
# target: macos-11
# - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-12-ghc8.2.2-icu72.1.zip
# sha256: 568fd9332f64c44b87898680593a8899f2e3e2531fdfed67375ae53fb14aaf17
# target: macos-12
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-11-ghc8.2.2-icu73.2.zip
sha256: a1ec2b5a63510939e805449ad5bfa35d32a6a5cff1ce8456107800cea442aa03
target: macos-11
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-12-ghc8.2.2-icu73.2.zip
sha256: 4ba53b47911519c86ef28299b384b90ba5a4d61ec12c7220aa914b3d933853d6
target: macos-12
linux:
x64:
# - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-18.04-ghc8.2.2-icu60.2.zip
# sha256: cb23807b957be00037cf8ac9c01949da21f850078d18cb8650c1715eaeaad9b3
# target: ubuntu-18.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip
sha256: 6a450bd50e7f403caf1d4e63d6381fc9fe0109053686b7e0b8a0ad5ba1eca9a1
target: ubuntu-20.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-22.04-ghc8.2.2-icu70.1.zip
sha256: a752bdb680dce4c6f03a10298e3bdf39d5a5137d633bbaf1f5e98d3d0b6bdd6d
target: ubuntu-22.04
windows:
x64: []
compatibility:
agda-stdlib: '0.14 - 0.15'
ghc: '7.8 - 8.2'
configuration: |
--allow-newer=Cabal
--flags=+enable-cluster-counting
2.5.2:
binary:
macos:
x64:
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-macos-11-ghc8.0.2.zip
sha256: 922533fed4853ef07c6250075c3c0792fd36f930735a11852e3d990532f9487a
target: macos-11
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-macos-12-ghc8.0.2.zip
sha256: 824733b1631c6f11d136ee81e76def02fe74f72acf8cbb74323012decb58e792
target: macos-12
linux:
x64:
# - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-18.04-ghc8.0.2.zip
# sha256: 9bf068a64c1e1a80d6c0b725f32d5fa7c1f551d523889433e781f2af5efa9342
# target: ubuntu-18.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip
sha256: 6db78288847727714bafd1b8a4b493d40d8e4492990951bda9f893b3b73e6747
target: ubuntu-20.04
- url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-22.04-ghc8.0.2.zip
sha256: 0174a1fc3184f8235f32a095b7311350dfca71d8a19b6133d1f62a7ff20b5da4
target: ubuntu-22.04
windows:
x64: []
compatibility:
agda-stdlib: '0.13'
ghc: '7.6 - 8.0'
2.5.1.2:
compatibility:
agda-stdlib: '0.12'
ghc: '7.6 - 8.0'
2.4.2.5:
compatibility:
agda-stdlib: '0.11'
ghc: '7.6 - 7.10'
2.4.2.4:
compatibility:
agda-stdlib: '0.11'
ghc: '7.6 - 7.10'
2.4.2.3:
compatibility:
agda-stdlib: '0.10'
ghc: '7.4 - 7.10'
2.4.2.2:
compatibility:
agda-stdlib: '0.9'
ghc: '7.0 - 7.8'
2.4.2.1:
compatibility:
agda-stdlib: '0.9'
ghc: '7.0 - 7.8'
2.4.2:
compatibility:
agda-stdlib: '0.8.1'
ghc: '7.0 - 7.8'
2.4.0.2:
compatibility:
agda-stdlib: '0.8'
ghc: '7.0 - 7.8'
2.4.0.1:
compatibility:
agda-stdlib: '0.8'
ghc: '7.0 - 7.8'
2.4.0:
compatibility:
agda-stdlib: '0.8'
ghc: '7.0 - 7.8'
2.3.2.2:
compatibility:
agda-stdlib: '0.7'
2.3.2.1:
compatibility:
agda-stdlib: '0.7'
2.3.2:
compatibility:
agda-stdlib: '0.7'
2.3.0.1:
compatibility:
agda-stdlib: '0.6'
2.3.0:
compatibility:
agda-stdlib: '0.6'
2.2.10:
compatibility:
agda-stdlib: '0.5'
2.2.8:
compatibility:
agda-stdlib: '0.4'
2.2.6:
compatibility:
agda-stdlib: '0.3'
2.2.4:
compatibility:
agda-stdlib: '0.2'
2.2.2:
compatibility:
agda-stdlib: '0.1'
2.2.0:
compatibility:
agda-stdlib: '0.1'