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

Icon  Name                                          Last modified      Size  
[PARENTDIR] Parent Directory                                                   -   
[   ] casadi-dbgsym_3.8.1+ds2-1_ppc64.deb           2026-10-22 20:03  3.1M  
[   ] casadi_3.8.1+ds2-1_ppc64.buildinfo            2026-10-22 20:03   13K  
[   ] casadi_3.8.1+ds2-1_ppc64.deb                  2026-10-22 20:03  104K  
[   ] libcasadi-dev_3.8.1+ds2-1_ppc64.deb           2026-10-22 20:03  330K  
[   ] libcasadi3.7-dbgsym_3.8.1+ds2-1_ppc64.deb     2026-10-22 20:03   59M  
[   ] libcasadi3.7_3.8.1+ds2-1_ppc64.deb            2026-10-22 20:03  2.9M  
[   ] python3-casadi-dbgsym_3.8.1+ds2-1_ppc64.deb   2026-10-22 20:03  7.2M  
[   ] python3-casadi_3.8.1+ds2-1_ppc64.deb          2026-10-22 20:03  771K