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

../
casadi-dbgsym_3.8.1+ds2-1_sh4.deb                  23-Oct-2026 12:03      3M
casadi_3.8.1+ds2-1_sh4.buildinfo                   23-Oct-2026 12:03     12K
casadi_3.8.1+ds2-1_sh4.deb                         23-Oct-2026 12:03    112K
libcasadi-dev_3.8.1+ds2-1_sh4.deb                  23-Oct-2026 12:03    330K
libcasadi3.7-dbgsym_3.8.1+ds2-1_sh4.deb            23-Oct-2026 12:03     64M
libcasadi3.7_3.8.1+ds2-1_sh4.deb                   23-Oct-2026 12:03      4M
python3-casadi-dbgsym_3.8.1+ds2-1_sh4.deb          23-Oct-2026 12:03      8M
python3-casadi_3.8.1+ds2-1_sh4.deb                 23-Oct-2026 12:03    887K