Index of /raspbian/pool/main/c/casadi

Icon  Name                                 Last modified      Size  
[PARENTDIR] Parent Directory                                          -   
[TXT] casadi_3.8.1+ds2-1.dsc               2026-10-06 09:19  2.3K  
[   ] casadi_3.8.1+ds2-1.debian.tar.xz     2026-10-06 09:19  6.7K  
[   ] casadi_3.8.1+ds2-1_armhf.deb         2026-10-11 22:04   85K  
[   ] libcasadi-dev_3.8.1+ds2-1_armhf.deb  2026-10-11 22:04  330K  
[   ] python3-casadi_3.8.1+ds2-1_armhf.deb 2026-10-11 22:04  714K  
[   ] casadi_3.8.1+ds2.orig.tar.xz         2026-10-06 09:19  2.3M  
[   ] libcasadi3.7_3.8.1+ds2-1_armhf.deb   2026-10-11 22:04  2.7M