../ extra-staging.db 30-Mar-2026 07:39 2547 extra-staging.db.tar.gz 30-Mar-2026 07:39 2547 extra-staging.db.tar.gz.old 30-Mar-2026 07:37 25K extra-staging.files 30-Mar-2026 07:39 3225 extra-staging.files.tar.gz 30-Mar-2026 07:39 3225 extra-staging.files.tar.gz.old 30-Mar-2026 07:37 69K extra-staging.links.tar.gz 30-Mar-2026 00:02 311 python-z3-solver-4.16.0-1-x86_64.pkg.tar.zst 28-Mar-2026 11:44 277K python-z3-solver-4.16.0-1-x86_64.pkg.tar.zst.sig 28-Mar-2026 11:44 566 z3-4.16.0-1-x86_64.pkg.tar.zst 28-Mar-2026 11:44 10M z3-4.16.0-1-x86_64.pkg.tar.zst.sig 28-Mar-2026 11:44 566 z3-java-4.16.0-1-x86_64.pkg.tar.zst 28-Mar-2026 11:45 223K z3-java-4.16.0-1-x86_64.pkg.tar.zst.sig 28-Mar-2026 11:45 566