mirrord

/debian/pool/main/b/boolector
stats ← index
Debian
Debian / pool / main / b / boolector
NameSizeModified
boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb 296.8 KiB 2017-03-17 04:58:22
boolector_1.5.118.6b56be4.121013-1.3_amd64.deb 301.8 KiB 2022-11-12 05:41:51
boolector_3.2.4-1_amd64.deb 520.9 KiB 2026-01-30 15:01:47
Info
Disk — Total: 2048.0 GiB · Used: 1107.4 GiB · Free: 940.6 GiB · 54.1%
Statussuccess
Last Sync2026-08-18 16:41:35
Duration102.5s
Mirror Size691.5 GiB
Total Syncs132
Failures0
Downloads514339
Served855.2 GiB
Next sync: 3h 3m
mirrord 1d8151e — loaded 2026-08-18 19:36:01