Parent directory/ | - | - |
agda-stdlib-2.0-2-x86_64.pkg.tar.zst | 132.2 MiB | 2025-Aug-01 07:13 |
agda-stdlib-2.0-2-x86_64.pkg.tar.zst.sig | 566 B | 2025-Aug-01 07:13 |
extra-staging.db | 3.1 KiB | 2025-Aug-01 21:41 |
extra-staging.db.tar.gz | 3.1 KiB | 2025-Aug-01 21:41 |
extra-staging.db.tar.gz.old | 2.3 KiB | 2025-Aug-01 21:40 |
extra-staging.files | 14.7 KiB | 2025-Aug-01 21:41 |
extra-staging.files.tar.gz | 14.7 KiB | 2025-Aug-01 21:41 |
extra-staging.files.tar.gz.old | 13.8 KiB | 2025-Aug-01 21:40 |
haskell-ghc-typelits-extra-0.4.5-18-x86_64.pkg.tar.zst | 69.5 KiB | 2025-Aug-01 21:41 |
haskell-ghc-typelits-extra-0.4.5-18-x86_64.pkg.tar.zst.sig | 566 B | 2025-Aug-01 21:41 |
haskell-ghc-typelits-knownnat-0.7.9-1-x86_64.pkg.tar.zst | 48.2 KiB | 2025-Aug-01 21:40 |
haskell-ghc-typelits-knownnat-0.7.9-1-x86_64.pkg.tar.zst.sig | 566 B | 2025-Aug-01 21:40 |
libgig-4.5.0-1-x86_64.pkg.tar.zst | 484.7 KiB | 2025-Jun-27 08:47 |
libgig-4.5.0-1-x86_64.pkg.tar.zst.sig | 119 B | 2025-Jun-27 08:47 |