Index of /archlinux/extra-staging/os/x86_64/


../
agda-stdlib-2.0-2-x86_64.pkg.tar.zst               01-Aug-2025 06:13           138632553
agda-stdlib-2.0-2-x86_64.pkg.tar.zst.sig           01-Aug-2025 06:13                 566
extra-staging.db                                   01-Aug-2025 20:41                3154
extra-staging.db.tar.gz                            01-Aug-2025 20:41                3154
extra-staging.db.tar.gz.old                        01-Aug-2025 20:40                2374
extra-staging.files                                01-Aug-2025 20:41               15084
extra-staging.files.tar.gz                         01-Aug-2025 20:41               15084
extra-staging.files.tar.gz.old                     01-Aug-2025 20:40               14109
haskell-ghc-typelits-extra-0.4.5-18-x86_64.pkg...> 01-Aug-2025 20:41               71156
haskell-ghc-typelits-extra-0.4.5-18-x86_64.pkg...> 01-Aug-2025 20:41                 566
haskell-ghc-typelits-knownnat-0.7.9-1-x86_64.pk..> 01-Aug-2025 20:40               49344
haskell-ghc-typelits-knownnat-0.7.9-1-x86_64.pk..> 01-Aug-2025 20:40                 566
libgig-4.5.0-1-x86_64.pkg.tar.zst                  27-Jun-2025 07:47              496335
libgig-4.5.0-1-x86_64.pkg.tar.zst.sig              27-Jun-2025 07:47                 119