aboutsummaryrefslogtreecommitdiff
path: root/development/lean-elan/lean-elan.info
blob: 54dc71acd283a8b25fb48cbf5263e6bafa6dc342 (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
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
470
PRGNAM="lean-elan"
VERSION="3.0.0"
HOMEPAGE="https://github.com/leanprover/elan"
DOWNLOAD="UNSUPPORTED"
MD5SUM=""
DOWNLOAD_x86_64="https://github.com/leanprover/elan/archive/v3.0.0/elan-3.0.0.tar.gz \
https://static.crates.io/crates/addr2line/addr2line-0.19.0.crate \
https://static.crates.io/crates/adler/adler-1.0.2.crate \
https://static.crates.io/crates/aes/aes-0.7.5.crate \
https://static.crates.io/crates/aho-corasick/aho-corasick-1.0.1.crate \
https://static.crates.io/crates/aligned/aligned-0.4.1.crate \
https://static.crates.io/crates/ansi_term/ansi_term-0.12.1.crate \
https://static.crates.io/crates/as-slice/as-slice-0.2.1.crate \
https://static.crates.io/crates/atty/atty-0.2.14.crate \
https://static.crates.io/crates/autocfg/autocfg-1.1.0.crate \
https://static.crates.io/crates/backtrace/backtrace-0.3.67.crate \
https://static.crates.io/crates/base64/base64-0.21.0.crate \
https://static.crates.io/crates/base64ct/base64ct-1.0.1.crate \
https://static.crates.io/crates/bitflags/bitflags-1.3.2.crate \
https://static.crates.io/crates/block-buffer/block-buffer-0.10.4.crate \
https://static.crates.io/crates/block-buffer/block-buffer-0.9.0.crate \
https://static.crates.io/crates/bumpalo/bumpalo-3.12.1.crate \
https://static.crates.io/crates/byteorder/byteorder-1.4.3.crate \
https://static.crates.io/crates/bytes/bytes-1.4.0.crate \
https://static.crates.io/crates/bzip2-sys/bzip2-sys-0.1.11+1.0.8.crate \
https://static.crates.io/crates/bzip2/bzip2-0.4.4.crate \
https://static.crates.io/crates/cc/cc-1.0.79.crate \
https://static.crates.io/crates/cfg-if/cfg-if-1.0.0.crate \
https://static.crates.io/crates/cipher/cipher-0.3.0.crate \
https://static.crates.io/crates/clap/clap-2.34.0.crate \
https://static.crates.io/crates/constant_time_eq/constant_time_eq-0.1.5.crate \
https://static.crates.io/crates/core-foundation-sys/core-foundation-sys-0.8.4.crate \
https://static.crates.io/crates/core-foundation/core-foundation-0.9.3.crate \
https://static.crates.io/crates/cpufeatures/cpufeatures-0.2.7.crate \
https://static.crates.io/crates/crc32fast/crc32fast-1.3.2.crate \
https://static.crates.io/crates/crossbeam-utils/crossbeam-utils-0.8.15.crate \
https://static.crates.io/crates/crypto-common/crypto-common-0.1.6.crate \
https://static.crates.io/crates/curl-sys/curl-sys-0.4.61+curl-8.0.1.crate \
https://static.crates.io/crates/curl/curl-0.4.44.crate \
https://static.crates.io/crates/cvt/cvt-0.1.2.crate \
https://static.crates.io/crates/digest/digest-0.10.6.crate \
https://static.crates.io/crates/digest/digest-0.9.0.crate \
https://static.crates.io/crates/dirs-next/dirs-next-2.0.0.crate \
https://static.crates.io/crates/dirs-sys-next/dirs-sys-next-0.1.2.crate \
https://static.crates.io/crates/dirs-sys/dirs-sys-0.3.7.crate \
https://static.crates.io/crates/dirs/dirs-3.0.2.crate \
https://static.crates.io/crates/either/either-1.8.1.crate \
https://static.crates.io/crates/encoding_rs/encoding_rs-0.8.32.crate \
https://static.crates.io/crates/env_proxy/env_proxy-0.4.1.crate \
https://static.crates.io/crates/errno-dragonfly/errno-dragonfly-0.1.2.crate \
https://static.crates.io/crates/errno/errno-0.3.1.crate \
https://static.crates.io/crates/error-chain/error-chain-0.12.4.crate \
https://static.crates.io/crates/fastrand/fastrand-1.9.0.crate \
https://static.crates.io/crates/filetime/filetime-0.2.21.crate \
https://static.crates.io/crates/flate2/flate2-1.0.25.crate \
https://static.crates.io/crates/fnv/fnv-1.0.7.crate \
https://static.crates.io/crates/foreign-types-shared/foreign-types-shared-0.1.1.crate \
https://static.crates.io/crates/foreign-types/foreign-types-0.3.2.crate \
https://static.crates.io/crates/form_urlencoded/form_urlencoded-1.1.0.crate \
https://static.crates.io/crates/fs_at/fs_at-0.1.5.crate \
https://static.crates.io/crates/futures-channel/futures-channel-0.3.28.crate \
https://static.crates.io/crates/futures-core/futures-core-0.3.28.crate \
https://static.crates.io/crates/futures-executor/futures-executor-0.3.28.crate \
https://static.crates.io/crates/futures-io/futures-io-0.3.28.crate \
https://static.crates.io/crates/futures-macro/futures-macro-0.3.28.crate \
https://static.crates.io/crates/futures-sink/futures-sink-0.3.28.crate \
https://static.crates.io/crates/futures-task/futures-task-0.3.28.crate \
https://static.crates.io/crates/futures-util/futures-util-0.3.28.crate \
https://static.crates.io/crates/futures/futures-0.3.28.crate \
https://static.crates.io/crates/gcc/gcc-0.3.55.crate \
https://static.crates.io/crates/generic-array/generic-array-0.14.7.crate \
https://static.crates.io/crates/getrandom/getrandom-0.2.9.crate \
https://static.crates.io/crates/gimli/gimli-0.27.2.crate \
https://static.crates.io/crates/h2/h2-0.3.18.crate \
https://static.crates.io/crates/hashbrown/hashbrown-0.12.3.crate \
https://static.crates.io/crates/hermit-abi/hermit-abi-0.1.19.crate \
https://static.crates.io/crates/hermit-abi/hermit-abi-0.3.1.crate \
https://static.crates.io/crates/hmac/hmac-0.12.1.crate \
https://static.crates.io/crates/http-body/http-body-0.4.5.crate \
https://static.crates.io/crates/http/http-0.2.9.crate \
https://static.crates.io/crates/httparse/httparse-1.8.0.crate \
https://static.crates.io/crates/httpdate/httpdate-1.0.2.crate \
https://static.crates.io/crates/hyper-tls/hyper-tls-0.5.0.crate \
https://static.crates.io/crates/hyper/hyper-0.14.26.crate \
https://static.crates.io/crates/idna/idna-0.3.0.crate \
https://static.crates.io/crates/indexmap/indexmap-1.9.3.crate \
https://static.crates.io/crates/instant/instant-0.1.12.crate \
https://static.crates.io/crates/io-lifetimes/io-lifetimes-1.0.10.crate \
https://static.crates.io/crates/ipnet/ipnet-2.7.2.crate \
https://static.crates.io/crates/itertools/itertools-0.10.5.crate \
https://static.crates.io/crates/itoa/itoa-1.0.6.crate \
https://static.crates.io/crates/jobserver/jobserver-0.1.26.crate \
https://static.crates.io/crates/js-sys/js-sys-0.3.61.crate \
https://static.crates.io/crates/json/json-0.12.4.crate \
https://static.crates.io/crates/lazy_static/lazy_static-1.4.0.crate \
https://static.crates.io/crates/libc/libc-0.2.142.crate \
https://static.crates.io/crates/libz-sys/libz-sys-1.1.8.crate \
https://static.crates.io/crates/linux-raw-sys/linux-raw-sys-0.3.4.crate \
https://static.crates.io/crates/log/log-0.4.17.crate \
https://static.crates.io/crates/markdown/markdown-0.3.0.crate \
https://static.crates.io/crates/memchr/memchr-2.5.0.crate \
https://static.crates.io/crates/mime/mime-0.3.17.crate \
https://static.crates.io/crates/miniz_oxide/miniz_oxide-0.6.2.crate \
https://static.crates.io/crates/mio/mio-0.8.6.crate \
https://static.crates.io/crates/native-tls/native-tls-0.2.11.crate \
https://static.crates.io/crates/nix/nix-0.26.2.crate \
https://static.crates.io/crates/normpath/normpath-1.1.1.crate \
https://static.crates.io/crates/object/object-0.30.3.crate \
https://static.crates.io/crates/ole32-sys/ole32-sys-0.2.0.crate \
https://static.crates.io/crates/once_cell/once_cell-1.17.1.crate \
https://static.crates.io/crates/opaque-debug/opaque-debug-0.3.0.crate \
https://static.crates.io/crates/openssl-macros/openssl-macros-0.1.1.crate \
https://static.crates.io/crates/openssl-probe/openssl-probe-0.1.5.crate \
https://static.crates.io/crates/openssl-src/openssl-src-111.25.3+1.1.1t.crate \
https://static.crates.io/crates/openssl-sys/openssl-sys-0.9.86.crate \
https://static.crates.io/crates/openssl/openssl-0.10.51.crate \
https://static.crates.io/crates/password-hash/password-hash-0.3.2.crate \
https://static.crates.io/crates/pbkdf2/pbkdf2-0.10.1.crate \
https://static.crates.io/crates/percent-encoding/percent-encoding-2.2.0.crate \
https://static.crates.io/crates/pest/pest-2.5.7.crate \
https://static.crates.io/crates/pin-project-lite/pin-project-lite-0.2.9.crate \
https://static.crates.io/crates/pin-utils/pin-utils-0.1.0.crate \
https://static.crates.io/crates/pipeline/pipeline-0.5.0.crate \
https://static.crates.io/crates/pkg-config/pkg-config-0.3.26.crate \
https://static.crates.io/crates/ppv-lite86/ppv-lite86-0.2.17.crate \
https://static.crates.io/crates/proc-macro2/proc-macro2-1.0.56.crate \
https://static.crates.io/crates/quote/quote-1.0.26.crate \
https://static.crates.io/crates/rand/rand-0.8.5.crate \
https://static.crates.io/crates/rand_chacha/rand_chacha-0.3.1.crate \
https://static.crates.io/crates/rand_core/rand_core-0.6.4.crate \
https://static.crates.io/crates/redox_syscall/redox_syscall-0.2.16.crate \
https://static.crates.io/crates/redox_syscall/redox_syscall-0.3.5.crate \
https://static.crates.io/crates/redox_users/redox_users-0.4.3.crate \
https://static.crates.io/crates/regex-syntax/regex-syntax-0.7.1.crate \
https://static.crates.io/crates/regex/regex-1.8.1.crate \
https://static.crates.io/crates/remove_dir_all/remove_dir_all-0.8.2.crate \
https://static.crates.io/crates/reqwest/reqwest-0.11.16.crate \
https://static.crates.io/crates/rustc-demangle/rustc-demangle-0.1.23.crate \
https://static.crates.io/crates/rustix/rustix-0.37.14.crate \
https://static.crates.io/crates/rustversion/rustversion-1.0.12.crate \
https://static.crates.io/crates/ryu/ryu-1.0.13.crate \
https://static.crates.io/crates/same-file/same-file-1.0.6.crate \
https://static.crates.io/crates/schannel/schannel-0.1.21.crate \
https://static.crates.io/crates/scopeguard/scopeguard-1.1.0.crate \
https://static.crates.io/crates/security-framework-sys/security-framework-sys-2.8.0.crate \
https://static.crates.io/crates/security-framework/security-framework-2.8.2.crate \
https://static.crates.io/crates/semver-parser/semver-parser-0.10.2.crate \
https://static.crates.io/crates/semver/semver-0.11.0.crate \
https://static.crates.io/crates/serde/serde-1.0.160.crate \
https://static.crates.io/crates/serde_derive/serde_derive-1.0.160.crate \
https://static.crates.io/crates/serde_json/serde_json-1.0.96.crate \
https://static.crates.io/crates/serde_urlencoded/serde_urlencoded-0.7.1.crate \
https://static.crates.io/crates/sha1/sha1-0.10.5.crate \
https://static.crates.io/crates/sha2/sha2-0.10.6.crate \
https://static.crates.io/crates/sha2/sha2-0.9.9.crate \
https://static.crates.io/crates/slab/slab-0.4.8.crate \
https://static.crates.io/crates/smart-default/smart-default-0.6.0.crate \
https://static.crates.io/crates/socket2/socket2-0.4.9.crate \
https://static.crates.io/crates/stable_deref_trait/stable_deref_trait-1.2.0.crate \
https://static.crates.io/crates/static_assertions/static_assertions-1.1.0.crate \
https://static.crates.io/crates/strsim/strsim-0.8.0.crate \
https://static.crates.io/crates/subtle/subtle-2.4.1.crate \
https://static.crates.io/crates/syn/syn-1.0.109.crate \
https://static.crates.io/crates/syn/syn-2.0.15.crate \
https://static.crates.io/crates/tar/tar-0.4.38.crate \
https://static.crates.io/crates/tempfile/tempfile-3.5.0.crate \
https://static.crates.io/crates/term/term-0.7.0.crate \
https://static.crates.io/crates/textwrap/textwrap-0.11.0.crate \
https://static.crates.io/crates/thiserror-impl/thiserror-impl-1.0.40.crate \
https://static.crates.io/crates/thiserror/thiserror-1.0.40.crate \
https://static.crates.io/crates/time-core/time-core-0.1.0.crate \
https://static.crates.io/crates/time-macros/time-macros-0.2.8.crate \
https://static.crates.io/crates/time/time-0.3.20.crate \
https://static.crates.io/crates/tinyvec/tinyvec-1.6.0.crate \
https://static.crates.io/crates/tinyvec_macros/tinyvec_macros-0.1.1.crate \
https://static.crates.io/crates/tokio-native-tls/tokio-native-tls-0.3.1.crate \
https://static.crates.io/crates/tokio-util/tokio-util-0.7.7.crate \
https://static.crates.io/crates/tokio/tokio-1.27.0.crate \
https://static.crates.io/crates/toml/toml-0.5.11.crate \
https://static.crates.io/crates/tower-service/tower-service-0.3.2.crate \
https://static.crates.io/crates/tracing-core/tracing-core-0.1.30.crate \
https://static.crates.io/crates/tracing/tracing-0.1.37.crate \
https://static.crates.io/crates/try-lock/try-lock-0.2.4.crate \
https://static.crates.io/crates/typenum/typenum-1.16.0.crate \
https://static.crates.io/crates/ucd-trie/ucd-trie-0.1.5.crate \
https://static.crates.io/crates/unicode-bidi/unicode-bidi-0.3.13.crate \
https://static.crates.io/crates/unicode-ident/unicode-ident-1.0.8.crate \
https://static.crates.io/crates/unicode-normalization/unicode-normalization-0.1.22.crate \
https://static.crates.io/crates/unicode-width/unicode-width-0.1.10.crate \
https://static.crates.io/crates/url/url-2.3.1.crate \
https://static.crates.io/crates/vcpkg/vcpkg-0.2.15.crate \
https://static.crates.io/crates/vec_map/vec_map-0.8.2.crate \
https://static.crates.io/crates/version_check/version_check-0.9.4.crate \
https://static.crates.io/crates/wait-timeout/wait-timeout-0.2.0.crate \
https://static.crates.io/crates/walkdir/walkdir-2.3.3.crate \
https://static.crates.io/crates/want/want-0.3.0.crate \
https://static.crates.io/crates/wasi/wasi-0.11.0+wasi-snapshot-preview1.crate \
https://static.crates.io/crates/wasm-bindgen-backend/wasm-bindgen-backend-0.2.84.crate \
https://static.crates.io/crates/wasm-bindgen-futures/wasm-bindgen-futures-0.4.34.crate \
https://static.crates.io/crates/wasm-bindgen-macro-support/wasm-bindgen-macro-support-0.2.84.crate \
https://static.crates.io/crates/wasm-bindgen-macro/wasm-bindgen-macro-0.2.84.crate \
https://static.crates.io/crates/wasm-bindgen-shared/wasm-bindgen-shared-0.2.84.crate \
https://static.crates.io/crates/wasm-bindgen/wasm-bindgen-0.2.84.crate \
https://static.crates.io/crates/web-sys/web-sys-0.3.61.crate \
https://static.crates.io/crates/winapi-build/winapi-build-0.1.1.crate \
https://static.crates.io/crates/winapi-i686-pc-windows-gnu/winapi-i686-pc-windows-gnu-0.4.0.crate \
https://static.crates.io/crates/winapi-util/winapi-util-0.1.5.crate \
https://static.crates.io/crates/winapi-x86_64-pc-windows-gnu/winapi-x86_64-pc-windows-gnu-0.4.0.crate \
https://static.crates.io/crates/winapi/winapi-0.2.8.crate \
https://static.crates.io/crates/winapi/winapi-0.3.9.crate \
https://static.crates.io/crates/windows-sys/windows-sys-0.42.0.crate \
https://static.crates.io/crates/windows-sys/windows-sys-0.45.0.crate \
https://static.crates.io/crates/windows-sys/windows-sys-0.48.0.crate \
https://static.crates.io/crates/windows-targets/windows-targets-0.42.2.crate \
https://static.crates.io/crates/windows-targets/windows-targets-0.48.0.crate \
https://static.crates.io/crates/windows_aarch64_gnullvm/windows_aarch64_gnullvm-0.42.2.crate \
https://static.crates.io/crates/windows_aarch64_gnullvm/windows_aarch64_gnullvm-0.48.0.crate \
https://static.crates.io/crates/windows_aarch64_msvc/windows_aarch64_msvc-0.42.2.crate \
https://static.crates.io/crates/windows_aarch64_msvc/windows_aarch64_msvc-0.48.0.crate \
https://static.crates.io/crates/windows_i686_gnu/windows_i686_gnu-0.42.2.crate \
https://static.crates.io/crates/windows_i686_gnu/windows_i686_gnu-0.48.0.crate \
https://static.crates.io/crates/windows_i686_msvc/windows_i686_msvc-0.42.2.crate \
https://static.crates.io/crates/windows_i686_msvc/windows_i686_msvc-0.48.0.crate \
https://static.crates.io/crates/windows_x86_64_gnu/windows_x86_64_gnu-0.42.2.crate \
https://static.crates.io/crates/windows_x86_64_gnu/windows_x86_64_gnu-0.48.0.crate \
https://static.crates.io/crates/windows_x86_64_gnullvm/windows_x86_64_gnullvm-0.42.2.crate \
https://static.crates.io/crates/windows_x86_64_gnullvm/windows_x86_64_gnullvm-0.48.0.crate \
https://static.crates.io/crates/windows_x86_64_msvc/windows_x86_64_msvc-0.42.2.crate \
https://static.crates.io/crates/windows_x86_64_msvc/windows_x86_64_msvc-0.48.0.crate \
https://static.crates.io/crates/winreg/winreg-0.10.1.crate \
https://static.crates.io/crates/winreg/winreg-0.8.0.crate \
https://static.crates.io/crates/xattr/xattr-0.2.3.crate \
https://static.crates.io/crates/zip/zip-0.6.2.crate \
https://static.crates.io/crates/zstd-safe/zstd-safe-4.1.6+zstd.1.5.2.crate \
https://static.crates.io/crates/zstd-sys/zstd-sys-1.6.3+zstd.1.5.2.crate \
https://static.crates.io/crates/zstd/zstd-0.10.2+zstd.1.5.2.crate"
MD5SUM_x86_64="e1febb2f00281127804a0a528daf0d8c \
b8e7ee27350aad1efd1cbe7a6a32c551 \
669215548c64019c08c92b2c1afd3deb \
815dfe34d3e7a3ab4fdd827fde9e3d04 \
8ad2bf7329daec74312f767d402aac50 \
d82a09f1c1a60aa9f46c0f76e4ea1265 \
f44e8d1d2e61974b268852797530ea41 \
fdd18ab1fcd6905d1abb3dce8a86ea68 \
142cb4b9a653e56e56311f0c883b8582 \
05d77ef52e90ad161fdd41b252420467 \
58637599fb4e68ecbca68939709aca1a \
cf0f1cbb3733e7153959edffc25adac4 \
69b33d6c893f518954721f7769fea248 \
a295edb6953237ebbdfa8e731229f9a3 \
023b03cf9968b29253a5dfe62051008d \
c7fbaf61245dc847237ab7c72b3ee9ea \
41000ac8c8baa61b8021a258d60a7839 \
1e704be5ddde9d6b5383ef1035309f91 \
596cab766930d487256260ab9ca55b71 \
455a318aaa74bb2d7c39cfda2e8f818d \
b80c91663e5990a3770774abdce0f257 \
7d83f411bb22318c65fec8bbee937ece \
74634128440dbc3766bda76fdf0aaa05 \
5f2578209a4d7964623462e402375ac0 \
59ae9122b2946d4d52bc48a1da5c5e06 \
ec9751a4c0d35e7313e52ddb7147376b \
b477cc1c7b45e2187b3cad0377b504d8 \
ae6dd0cd5319220586d8ace4c4be87ce \
5960ae429b2ba6544a3e3a755aef1bbb \
a9d6492a1bd21d93dbc27c32eabd0c70 \
375958fb68bc683f8366d2f3ec1f33ba \
89e88633cab0e4b6f3d3878b84dffe8b \
192a849c6c392476fad9b205a894f0e4 \
2055aa2a8c9da89dadfd1e9012a26a20 \
30ec1b3363b03c11d30f45a0c7005411 \
732c54e5b65b869d7301eec81c97f6a1 \
493a2f042d86baa5c6bac75202c64554 \
3681f813c502d911e9eea940dddd26a5 \
056c8d712ee146347c412b72f4077b2f \
4c21da37e71a52f26c8c5490f3ec4837 \
92499f5db37eadb0efa33bcc91248577 \
ba94e4b62665e48cc27ca8b14c5f5ff7 \
28925d0d3649d0577f07bc9ab288999c \
249636a8c8e57527d0e72ae772df5acd \
fc65414dcac661c46f2cfad7722304f9 \
b21aa70c76c22f8936338797372236bf \
da699c4c8e4c153cbdb9fb0ef3fb3056 \
06e723078de46119c270eea21ec4344e \
3091bf9ce6381222c8dbf65a439ab524 \
40290701abf90017215441da33b0dc15 \
8dab3b3ec00dc56cffde0b0c410d47b5 \
667e86b8b8d96ab4e9605627ce7dcc9a \
78c898fdaa3968e23904bf8538c4a271 \
357f2bcdc622476ad883fe9d07f874c3 \
033882a55750c5f139f14711a5eb9131 \
378bd2c8eb6adcc1a837558e1927e1eb \
b2458958308a0923a65777b9297bf11a \
2399b8b3b39b993d8e44d2fc1628663c \
6052db16e7627061500931e7f53b0128 \
3f798ffba5e1f1ec5ad2df0afd1f76f8 \
3e2c0b885f7430e02dd6df1f8c626bc7 \
83e4c4337a8dac395b19ebcb8e3136a7 \
7ee7fac47a513e4f7e44c66195ad8051 \
10764f40bd10141d9f12920d7cfa123c \
d024d23a2c7e5dae75422a514daa686f \
64a6d8fe0c9a450bcefa41894e17d7ac \
9a1e26d4bea50aebcd8ce9f2f992c756 \
9b80c255701a8957ff28e86e6a1d2719 \
da8d709e9f342d4e917d22d5444a1076 \
1b41b97d982520b7364a87a39e2a1ed8 \
0b7994d1256215201bdfb810a357ffa2 \
c9fa9187985880eb320b350bd9024510 \
4e0c068ba38fa8e0aa6c46bce5e9d2ab \
c21c16e3bdc619cf65a31b23136d62ce \
c6a140bb2c9817edf8792e3c754c6e12 \
92968aee56cb2f162a55008fedddbb78 \
4918da28fbc2f6888ad71c159996a9b5 \
6540f0c2d7dce570f06661292fc68cab \
2f559daf118046b6788718794ec3ab70 \
c3425a02781d0bb3c4f8d5d025d12266 \
11ce8b5f52cd315e8f52985b834b87eb \
5f153f7135dceb02f88266121c836b4e \
f2014011b58783d34882b84571965cf6 \
3ecd97b1dc15c9b2229192a0c609249f \
20b9f5d97aaf06b0f580f12860b67ba8 \
ffbab2186e43af074b619d6d8bfe3566 \
eacabd60e755d2a003031643241781dc \
0779350c00b03603f72eef7f737686ad \
b1c4a08cc8222b3fff6d2d6dcf821689 \
fba3b040a55c01be7376d3dd5c4d4920 \
1f4aa5455ed7c45d2fe4171ef3040ff9 \
591b0243c421bf8e6df09e3209fce861 \
850ea71a54d22e85d50296abc1eb2c84 \
b31bf94ffe7e0f2ada93afae1076eaeb \
b5944eba016f7b965f3e2db3fcf3e3e4 \
94b8bf179385ff071bdc33b58bf047c0 \
dfdf2484a5545f51cf6b1f5f23b9f92e \
bb21a8ff26ec16bc15758b1625bc0f46 \
7d439888f1d12b29249e4f12e0e420fa \
790ae5bbcccc91d97517bb1bde7ecd8e \
580f8f88379ff0678e8336a781dda55d \
8d526535233ee01e0f1402b5e8f4e8e9 \
e1a629a86bfa03f5c17180a8b213c74c \
e1c08dd529c5e71ff0f06c4fe4dcff7e \
ec9e9fe40bacdde764862148c53386de \
653e04baa68a4484b3b839c19221e474 \
28d34115cfbbe0e8f80333591f2cdd84 \
907244c0d3791f3f981c7cc8e4cad0a3 \
5919927ef79b56c530e305f690ef2850 \
2a214c072a003c02718590da3cdad632 \
8fdb98f1648696852edd8dbd42aef7aa \
bd37a742884c141bd2ede0ae2902d937 \
f6984103b5729fd3ee8a7d718639c71b \
c7ce684666ac9c76223b1a0a5034ce99 \
42eec6b52b5a84621c18973fca40c043 \
ce6dde2ea2691fdd97632fb8c9b3e042 \
07c75fec267864bcbb800ca7709ceae2 \
6ee5c12c25f9ef371ac4f3fa8546b9af \
57a5575d623bcbc7ba5c033c9f87744f \
5c69337d37e58a380e00eac9ce0373bb \
4ed863e96f34f750bebed5d8bf9a7f89 \
323153a8ec1da78a73131fec9d900c2e \
ee7a5f842c39bc47c474196e83b0df5f \
e30085994bbeb4b7f4895d48216d5476 \
a1626b8f4d165b1b60d960862eba4cf0 \
16111f31a29feae4ce4a324b83dc0189 \
782ea88d8e5b517b1c9e7d870e20e9e3 \
2793ed3e6807d79ff72271baec586531 \
33d7c3ed27fd9033f0a61150a7516139 \
62618c0255e3bd569371cf4ce4c424f2 \
8f5ff45e31f879a4bb4f8815fb25acc1 \
1986ea08bedd21c84bca46ff190b78a1 \
24fcbc2986fad09b25c9a4f9aef0a9e4 \
0680bc5a4f39b4a060281119f75bf962 \
d9a04f4fbf3a21f7ef6be47a007cb611 \
853888e375addadf7e85c8499e0745d3 \
2d8d8b377d144f5e32b4f65a69eb0b24 \
0bf4ac47fef874d61250f4d4afe4866b \
b4a0a98a54439a5a37952c8879187ee3 \
020e58f9782f7cec01a5a585a103432c \
0ee7a1ea2700dab59dd62c27e5843f8c \
42408be0352a76b14f1e77a6b8858a77 \
d2cc4e584ed64165fc56d2c9081eb3ee \
80dacf2cdea8879fbe9b508bb9a4972a \
de0c5121b2b2518027169cc63d373ce3 \
f4e16ed6fedc75de9647dee3ff4d3967 \
47151b766b6b73e638fabe6fae7b723d \
602d4f1e2fe53f870b70e83c8cee49db \
e3e93a5606f450c13fcad764fa1c4bed \
9420cc533b8572ae0d04750421127f80 \
cf636206d0c3287ce209551fc5b02d88 \
26b4ac1432c227434bc943817f42872e \
4acc1eadff484a737c93592e15b31f8a \
5988bad1543264a9f48b542192e7de9a \
c9defe80406280bcfce4ecf31c0200b3 \
781d4ccf5d04c98fa02af207a9639249 \
8e053c23f1d36fbf3f276fbf501e3e35 \
64d9f46e9ba78f68c30c486be3d8b7df \
ccc93b4c981265eaa8908edd6a9459b3 \
7645c62a572f12b67d1b582d7257776e \
af8a44faf77b1d50155a07041284ca65 \
53928078ab8d120d5459d86d64bbc1ef \
a8de006fe0c7e373c560dd51599287a8 \
dd290e713c28d2e565d78eedd471ed78 \
ab44b0c93adeb9ee88e1c66555b8e6a7 \
e8e543c3dd8daff1ef7afe657a1dcb62 \
03c2a5849e585e44ddbbe0b991d7229c \
f2dd02db1d2830d70da1a7614eb1896a \
5f0470696baaa4e5953bddbf196998f9 \
c678a7da0ee4b850ebde0474144a0415 \
9e2f7831d5c7d8bd2f430984e47c3065 \
b5670d9b6d6560440845d23ca563d44d \
7eb63c76c58f57c48527d6bb37f86fcd \
b21820f2664242498beba7783b32bef4 \
60d7c3a9f75ac64cffbb9ccda7c1c8e5 \
e3189db1511d7f2fe59fd1b15ebac8ff \
97e8197912c3d06f0b7486d07c31e182 \
a25ff12cdf468d4a5b4bf75b7fc6d743 \
63ce54e1fcbbdb45c15146fd082528bb \
11ad59bd731103e90d688afc5f35271b \
04c5de5f2fcb441ced909a45cff020bd \
7544c989c31232ae0d941e321dfe9bb2 \
c12d182417999fc365f952e701f6071f \
7d6d4fc9fad200d6e295f6930e97e022 \
41a9cb1cc86d75f991241c9c3f725556 \
e900a384ac7dbb320fe6a7279fbfef89 \
333b4ba3f64c35b6f89b521e8d64548b \
d18d362345c4fe512ef67b738b239fb8 \
6708629acf3d2ecb7404e43255d2df85 \
250acb3063bbdc870cbb54edcd6fff8f \
e334c03160b1e0989c2a71ca55f631fc \
e972ea58ec203bfa6c79c1207852298b \
a277676f11a4b8df65f0bd10cf91c34d \
6dedf2077979fbca816469b7685d9e28 \
edd96c9a12dc3e04aa4d9a345ee6dd0f \
8c58a7b08dcaaf1e6bc55616ce88582e \
eff90729cd4a439c36ff89f3ee0904d0 \
5ad255225437a92850eaea3cd7aa0051 \
d04b3c91526662b97397fc1e04e007b1 \
c900e7dbce808ff8ced375077b17a163 \
db96b50050277bf05a3c68534bbb9586 \
b9e37d5fc4ad28b612b78ad37816684d \
09de9d01e7331ff3da11f58be8bef0df \
b44489eb4799c4fabac3fceb48de54f7 \
0498c4a11448bfc35dc7bb2caa64c753 \
110789f2dd21a2ea820ebed976b4b1c2 \
b58284cb8ce52b8de07e09f4f8fb9653 \
f2797ade0e36f1e5d6be9d11b5076582 \
a369d510325342310c7ab159bd181dae \
7244738a73643f06df82069d00393ad7 \
7968284877e481b58df1569b68b5dc26 \
e8732bb9eec91463ea10020fc16991c1 \
34d06a94727c506c11e4710160e90f32 \
3d2bf2e578fe93c538d4f8c5cfddbe9b \
017691b927b405669e1139b054a35f4a \
631f9e1bcfe18e3976ef4c893ee13531 \
f56c70fbae23f08fb0912284333f7851 \
f3dad0f67aa70c6618c1593bd2086c36 \
d20c2b0f45a62cc15c503ea610706a8f \
085ec81e4ced998bb7f1aea30b7a630e \
ec7e437088dc741e6a0653e553abca4e \
e24dfcf625e130a1e6db0ae375a17dd7 \
8cec8a187df7a7b971009a7693f60140 \
2fa0c13b386de68baa17168774b1c5fa \
8aa3cbf525ad9e68c3619664a3401dbe \
ab839ba7cdb06278c67f0ff9ad05ab61 \
8479d907dcb0e97f59f2d01336bbd1ae \
019d75d45065f42f1e17df5d4a021b75 \
cd575847adb9f45de20ff0d457327702 \
b09cf677221739808e8a5424e1510985 \
2841796570646c31589d2c54e14f53e9"
REQUIRES="rust16"
MAINTAINER="Lockywolf"
EMAIL="for_sbo.lean-elan_2023-09-21@lockywolf.net"