Name | Last Modified | Size | Type |
---|---|---|---|
../ | Directory | ||
lean4.spec | 2025-Oct-21 00:00:00 | 6.30K | SPEC File |
success | 2025-Oct-21 10:43:56 | 4.00B | Text File |
lean4-4.24.0-1.src.rpm | 2025-Oct-21 10:43:55 | 43.68M | RPM File |
build.info | 2025-Oct-21 10:43:52 | 42.00B | INFO File |
backend.log.gz | 2025-Oct-21 10:43:57 | 1.99K | GZ Compressed Archive |
builder-live.log.gz | 2025-Oct-21 10:43:56 | 652.00B | GZ Compressed Archive |
results.json | 2025-Oct-21 10:43:56 | 295.00B | JSON File |
build-09710503.rsync.log | 2025-Oct-21 10:43:57 | 283.00B | LOG File |