![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[ ]](/icons/unknown.png){kind=icon} | extra-staging.db | 2026-03-28 22:59 | 2.5K |
![[ ]](/icons/compressed.gif){kind=icon} | extra-staging.db.tar.gz | 2026-03-28 22:59 | 2.5K |
| extra-staging.db.tar.gz.old | 2026-03-28 16:08 | 313K |
| extra-staging.files | 2026-03-28 22:59 | 3.2K |
| extra-staging.files.tar.gz | 2026-03-28 22:59 | 3.2K |
| extra-staging.files.tar.gz.old | 2026-03-28 16:08 | 460K |
| extra-staging.links.tar.gz | 2026-03-28 17:03 | 211K |
| python-z3-solver-4.16.0-1-x86_64.pkg.tar.zst | 2026-03-28 04:44 | 277K |
| python-z3-solver-4.16.0-1-x86_64.pkg.tar.zst.sig | 2026-03-28 04:44 | 566 |
| z3-4.16.0-1-x86_64.pkg.tar.zst | 2026-03-28 04:44 | 9.6M |
| z3-4.16.0-1-x86_64.pkg.tar.zst.sig | 2026-03-28 04:44 | 566 |
| z3-java-4.16.0-1-x86_64.pkg.tar.zst | 2026-03-28 04:45 | 223K |
| z3-java-4.16.0-1-x86_64.pkg.tar.zst.sig | 2026-03-28 04:45 | 566 |