Name | Last Modified | Size | Type |
---|---|---|---|
../ | Directory | ||
lean4.spec | 2025-Oct-21 00:00:00 | 6.30K | SPEC File |
success | 2025-Oct-21 14:30:20 | 4.00B | Text File |
lean4-4.24.0-1.src.rpm | 2025-Oct-21 14:30:20 | 43.68M | RPM File |
build.info | 2025-Oct-21 14:30:17 | 40.00B | INFO File |
backend.log.gz | 2025-Oct-21 14:30:22 | 1.98K | GZ Compressed Archive |
build-09711424.rsync.log | 2025-Oct-21 14:30:22 | 281.00B | LOG File |
builder-live.log.gz | 2025-Oct-21 14:30:20 | 650.00B | GZ Compressed Archive |
results.json | 2025-Oct-21 14:30:20 | 295.00B | JSON File |