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

../
casadi-dbgsym_3.7.0+ds2-3_sh4.deb                  29-Oct-2025 18:03    341K
casadi_3.7.0+ds2-3_sh4.buildinfo                   29-Oct-2025 18:03     12K
casadi_3.7.0+ds2-3_sh4.deb                         29-Oct-2025 18:03     16K
libcasadi-dev_3.7.0+ds2-3_sh4.deb                  29-Oct-2025 18:03    280K
libcasadi3.7-dbgsym_3.7.0+ds2-3_sh4.deb            29-Oct-2025 18:03     58M
libcasadi3.7_3.7.0+ds2-3_sh4.deb                   29-Oct-2025 18:03      3M
python3-casadi-dbgsym_3.7.0+ds2-3_sh4.deb          29-Oct-2025 18:03      7M
python3-casadi_3.7.0+ds2-3_sh4.deb                 29-Oct-2025 18:03    800K