Index of /debian-ports/pool-sh4/main/c/casadi/

Name Size Date
📁 ../ - -
📄 casadi-dbgsym_3.8.1+ds2-1_sh4.deb 3430924 bytes 2026-10-23 12:03:02
📄 casadi_3.8.1+ds2-1_sh4.buildinfo 11811 bytes 2026-10-23 12:03:02
📄 casadi_3.8.1+ds2-1_sh4.deb 114404 bytes 2026-10-23 12:03:02
📄 libcasadi-dev_3.8.1+ds2-1_sh4.deb 337808 bytes 2026-10-23 12:03:02
📄 libcasadi3.7-dbgsym_3.8.1+ds2-1_sh4.deb 67126192 bytes 2026-10-23 12:03:02
📄 libcasadi3.7_3.8.1+ds2-1_sh4.deb 3951496 bytes 2026-10-23 12:03:02
📄 python3-casadi-dbgsym_3.8.1+ds2-1_sh4.deb 8056468 bytes 2026-10-23 12:03:02
📄 python3-casadi_3.8.1+ds2-1_sh4.deb 908564 bytes 2026-10-23 12:03:02