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

../
casadi-dbgsym_3.8.1+ds2-1_sh4.deb                  23-Oct-2026 12:03             3430924
casadi_3.8.1+ds2-1_sh4.buildinfo                   23-Oct-2026 12:03               11811
casadi_3.8.1+ds2-1_sh4.deb                         23-Oct-2026 12:03              114404
libcasadi-dev_3.8.1+ds2-1_sh4.deb                  23-Oct-2026 12:03              337808
libcasadi3.7-dbgsym_3.8.1+ds2-1_sh4.deb            23-Oct-2026 12:03            67126192
libcasadi3.7_3.8.1+ds2-1_sh4.deb                   23-Oct-2026 12:03             3951496
python3-casadi-dbgsym_3.8.1+ds2-1_sh4.deb          23-Oct-2026 12:03             8056468
python3-casadi_3.8.1+ds2-1_sh4.deb                 23-Oct-2026 12:03              908564