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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]casadi-dbgsym_3.7.0+ds2-3_sh4.deb2025-10-30 02:03 341K 
[ ]casadi_3.7.0+ds2-3_sh4.buildinfo2025-10-30 02:03 12K 
[ ]casadi_3.7.0+ds2-3_sh4.deb2025-10-30 02:03 16K 
[ ]libcasadi-dev_3.7.0+ds2-3_sh4.deb2025-10-30 02:03 280K 
[ ]libcasadi3.7-dbgsym_3.7.0+ds2-3_sh4.deb2025-10-30 02:03 58M 
[ ]libcasadi3.7_3.7.0+ds2-3_sh4.deb2025-10-30 02:03 3.3M 
[ ]python3-casadi-dbgsym_3.7.0+ds2-3_sh4.deb2025-10-30 02:03 7.3M 
[ ]python3-casadi_3.7.0+ds2-3_sh4.deb2025-10-30 02:03 800K