mirrord

/debian/pool/main/m/minizinc
stats ← index
Debian
Debian / pool / main / m / minizinc
NameSizeModified
minizinc_2.5.3+dfsg1-1_amd64.deb 1.5 MiB 2020-12-10 00:14:07
minizinc_2.6.4+dfsg1-1_amd64.deb 1.9 MiB 2022-07-23 00:28:52
minizinc_2.9.2+dfsg1-1_amd64.deb 2.4 MiB 2025-03-06 22:34:30
minizinc_2.9.7+dfsg1-1_amd64.deb 2.4 MiB 2026-05-11 04:07:28
Info
Disk — Total: 2048.0 GiB · Used: 1100.2 GiB · Free: 947.8 GiB · 53.7%
Statussuccess
Last Sync2026-08-16 10:41:43
Duration110.8s
Mirror Size689.8 GiB
Total Syncs123
Failures0
Downloads469250
Served809.1 GiB
Next sync: 1h 31m
mirrord 1d8151e — loaded 2026-08-16 15:08:25