mirrord

/debian/pool/main/m/minizinc
stats ← index
Debian
Debian / pool / main / m / minizinc
NameSizeModified
minizinc_2.10.0+dfsg1-1+b1_amd64.deb 2.5 MiB 2026-09-23 07:26:42
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
Info
Disk — Total: 1364.6 GiB · Used: 987.9 GiB · Free: 376.7 GiB · 72.4%
Statussuccess
Last Sync2026-10-15 21:37:43
Duration154.1s
Mirror Size564.6 GiB
Total Syncs348
Failures1
Downloads1203760
Served2907.7 GiB
Next sync: 5h 54m
mirrord 2f3c18b — loaded 2026-10-15 21:40:20