mirrord

/debian/pool/main/z/z3
← index
Debian (HTTP)
Debian (HTTP) / pool / main / z / z3
NameSizeModified
libz3-4_4.13.3-1_amd64.deb 8.2 MiB 2026-06-16 18:23:16
libz3-dev_4.13.3-1_amd64.deb 104.0 KiB 2026-06-16 18:23:16
libz3-java_4.13.3-1_amd64.deb 177.9 KiB 2026-06-16 18:23:16
libz3-jni_4.13.3-1_amd64.deb 36.6 KiB 2026-06-16 18:23:16
python3-z3_4.13.3-1_amd64.deb 81.5 KiB 2026-06-16 18:23:16
z3_4.13.3-1_amd64.deb 8.2 MiB 2026-06-16 18:23:16
Info
Disk — Total: 2048.0 GiB · Used: 493.6 GiB · Free: 1554.4 GiB · 24.1%
Statussuccess
Last Sync2026-06-17 01:48:43
Duration545.8s
Mirror Size119.8 GiB
Total Syncs2
Failures0
Downloads17166
Served20.0 GiB
Next sync: 3h 8m
mirrord v0.1.0 — loaded 2026-06-17 04:30:45