mirrord

/debian/pool/main/c/casadi
stats ← index
Debian
Debian / pool / main / c / casadi
NameSizeModified
casadi_3.8.1+ds2-1_amd64.deb 112.1 KiB 2026-10-06 16:49:39
libcasadi-dev_3.8.1+ds2-1_amd64.deb 330.0 KiB 2026-10-06 16:49:39
libcasadi3.7_3.8.1+ds2-1_amd64.deb 3.3 MiB 2026-10-06 16:49:39
python3-casadi_3.8.1+ds2-1_amd64.deb 904.4 KiB 2026-10-06 16:49:39
Info
Disk — Total: 1364.5 GiB · Used: 987.9 GiB · Free: 376.6 GiB · 72.4%
Statussuccess
Last Sync2026-10-15 21:37:43
Duration154.1s
Mirror Size564.6 GiB
Total Syncs348
Failures1
Downloads1208934
Served2916.6 GiB
Next sync: 2h 50m
mirrord 2f3c18b — loaded 2026-10-16 00:44:38