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

Icon  Name                                        Last modified      Size  
[PARENTDIR] Parent Directory                                                 -   
[   ] casadi-dbgsym_3.8.1+ds2-1_sh4.deb           2026-10-23 14:03  3.3M  
[   ] casadi_3.8.1+ds2-1_sh4.buildinfo            2026-10-23 14:03   12K  
[   ] casadi_3.8.1+ds2-1_sh4.deb                  2026-10-23 14:03  112K  
[   ] libcasadi-dev_3.8.1+ds2-1_sh4.deb           2026-10-23 14:03  330K  
[   ] libcasadi3.7-dbgsym_3.8.1+ds2-1_sh4.deb     2026-10-23 14:03   64M  
[   ] libcasadi3.7_3.8.1+ds2-1_sh4.deb            2026-10-23 14:03  3.8M  
[   ] python3-casadi-dbgsym_3.8.1+ds2-1_sh4.deb   2026-10-23 14:03  7.7M  
[   ] python3-casadi_3.8.1+ds2-1_sh4.deb          2026-10-23 14:03  887K