mirrord

/debian/pool/main/c/casadi
stats ← index
Debian
Debian / pool / main / c / casadi
NameSizeModified
casadi_3.7.2+ds2-1_amd64.deb 15.9 KiB 2026-06-30 20:16:56
libcasadi-dev_3.7.2+ds2-1_amd64.deb 281.7 KiB 2026-06-30 20:16:56
libcasadi3.7_3.7.2+ds2-1_amd64.deb 2.9 MiB 2026-06-30 20:16:56
python3-casadi_3.7.2+ds2-1_amd64.deb 781.7 KiB 2026-06-30 20:16:56
Info
Disk — Total: 2048.0 GiB · Used: 1106.1 GiB · Free: 941.9 GiB · 54.0%
Statussuccess
Last Sync2026-08-20 04:40:57
Duration64.8s
Mirror Size695.1 GiB
Total Syncs138
Failures0
Downloads530411
Served871.8 GiB
Next sync: 2h 56m
mirrord 1d8151e — loaded 2026-08-20 07:43:10