mirrord

/debian/pool/main/m/minizinc-ide
stats ← index
Debian
Debian / pool / main / m / minizinc-ide
NameSizeModified
minizinc-ide_2.5.3-1_amd64.deb 754.9 KiB 2020-12-10 00:14:13
minizinc-ide_2.6.3-1_amd64.deb 846.8 KiB 2022-05-29 16:56:03
minizinc-ide_2.8.5-1_amd64.deb 898.2 KiB 2024-08-27 04:53:28
Info
Disk — Total: 2048.0 GiB · Used: 1102.1 GiB · Free: 945.9 GiB · 53.8%
Statussuccess
Last Sync2026-08-16 16:43:23
Duration210.6s
Mirror Size689.8 GiB
Total Syncs124
Failures0
Downloads483597
Served829.7 GiB
Next sync: 2h 34m
mirrord 1d8151e — loaded 2026-08-16 20:04:59