Studenten Net Twente Mirror service

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

Filename Modification time Size
extra-staging.db 2967 B
extra-staging.db.tar.gz 2967 B
extra-staging.db.tar.gz.old 2548 B
extra-staging.files 3889 B
extra-staging.files.tar.gz 3889 B
extra-staging.files.tar.gz.old 3230 B
extra-staging.links.tar.gz 311 B
libcbor-0.13.0-1-x86_64.pkg.tar.zst 46 KiB
libcbor-0.13.0-1-x86_64.pkg.tar.zst.sig 119 B
python-z3-solver-4.16.0-1-x86_64.pkg.tar.zst 277 KiB
python-z3-solver-4.16.0-1-x86_64.pkg.tar.zst.sig 566 B
z3-4.16.0-1-x86_64.pkg.tar.zst 9810 KiB
z3-4.16.0-1-x86_64.pkg.tar.zst.sig 566 B
z3-java-4.16.0-1-x86_64.pkg.tar.zst 223 KiB
z3-java-4.16.0-1-x86_64.pkg.tar.zst.sig 566 B