| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Agda-2.6.3-1.oc9.aarch64.rpm | 2024-08-02 18:08 | 12M | ||
| Agda-common-2.6.3-1.oc9.noarch.rpm | 2024-08-02 18:08 | 530K | ||
| build.log | 2024-08-02 18:08 | 654K | ||
| ghc-Agda-2.6.3-1.oc9.aarch64.rpm | 2024-08-02 18:08 | 9.4M | ||
| ghc-Agda-devel-2.6.3-1.oc9.aarch64.rpm | 2024-08-02 18:08 | 19M | ||
| ghc-Agda-doc-2.6.3-1.oc9.noarch.rpm | 2024-08-02 18:08 | 7.6M | ||
| ghc-murmur-hash-0.1.0.10-1.oc9.aarch64.rpm | 2024-08-02 18:08 | 22K | ||
| ghc-murmur-hash-devel-0.1.0.10-1.oc9.aarch64.rpm | 2024-08-02 18:08 | 32K | ||
| ghc-murmur-hash-doc-0.1.0.10-1.oc9.noarch.rpm | 2024-08-02 18:08 | 50K | ||
| ghc-vector-hashtables-0.1.1.3-1.oc9.aarch64.rpm | 2024-08-02 18:08 | 112K | ||
| ghc-vector-hashtables-devel-0.1.1.3-1.oc9.aarch64.rpm | 2024-08-02 18:08 | 197K | ||
| ghc-vector-hashtables-doc-0.1.1.3-1.oc9.noarch.rpm | 2024-08-02 18:08 | 82K | ||
| hw_info.log | 2024-08-02 17:57 | 1.0K | ||
| installed_pkgs.log | 2024-08-02 17:58 | 36K | ||
| mock_output.log | 2024-08-02 18:08 | 9.3K | ||
| noarch_rpmdiff.json | 2024-08-02 18:08 | 488 | ||
| root.log | 2024-08-02 18:08 | 197K | ||
| state.log | 2024-08-02 18:08 | 1.1K | ||