Name | Last Modified | Size | Type |
---|---|---|---|
../ | Directory | ||
lean4.spec | 2025-Oct-21 00:00:00 | 6.30K | SPEC File |
success | 2025-Oct-21 07:46:46 | 4.00B | Text File |
lean4-4.24.0-1.src.rpm | 2025-Oct-21 07:46:46 | 43.68M | RPM File |
build-09709494.rsync.log | 2025-Oct-21 07:46:48 | 282.00B | LOG File |
build.info | 2025-Oct-21 07:46:43 | 41.00B | INFO File |
backend.log.gz | 2025-Oct-21 07:46:48 | 2.00K | GZ Compressed Archive |
builder-live.log.gz | 2025-Oct-21 07:46:46 | 651.00B | GZ Compressed Archive |
results.json | 2025-Oct-21 07:46:46 | 295.00B | JSON File |