Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
build.log | 2024-02-17 13:19 | 3.1K | ||
checkout.log | 2024-02-17 13:18 | 547 | ||
hw_info.log | 2024-02-17 13:19 | 656 | ||
idris-1.3.4-14.fc40.src.rpm | 2024-02-17 13:20 | 1.7M | ||
mock_output.log | 2024-02-17 13:19 | 13K | ||
root.log | 2024-02-17 13:19 | 107K | ||
state.log | 2024-02-17 13:19 | 1.1K | ||