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

Name Size Date
📁 ../ - -
📄 casadi-dbgsym_3.8.1+ds2-1_ppc64.deb 3292444 bytes 2026-10-22 18:03:03
📄 casadi_3.8.1+ds2-1_ppc64.buildinfo 13240 bytes 2026-10-22 18:03:03
📄 casadi_3.8.1+ds2-1_ppc64.deb 106848 bytes 2026-10-22 18:03:03
📄 libcasadi-dev_3.8.1+ds2-1_ppc64.deb 337780 bytes 2026-10-22 18:03:03
📄 libcasadi3.7-dbgsym_3.8.1+ds2-1_ppc64.deb 61628924 bytes 2026-10-22 18:03:03
📄 libcasadi3.7_3.8.1+ds2-1_ppc64.deb 3079252 bytes 2026-10-22 18:03:03
📄 python3-casadi-dbgsym_3.8.1+ds2-1_ppc64.deb 7555704 bytes 2026-10-22 18:03:03
📄 python3-casadi_3.8.1+ds2-1_ppc64.deb 789492 bytes 2026-10-22 18:03:03