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

 Name                                 Last modified      Size  
 Parent Directory                                          -   
 casadi_3.7.0+ds2-3.debian.tar.xz     2025-08-12 16:39  6.0K  
 casadi_3.7.0+ds2-3.dsc               2025-08-12 16:39  2.3K  
 casadi_3.7.0+ds2-3_armhf.deb         2026-01-22 15:08   15K  
 casadi_3.7.0+ds2.orig.tar.xz         2025-08-12 16:39  1.7M  
 libcasadi-dev_3.7.0+ds2-3_armhf.deb  2026-01-22 15:08  280K  
 libcasadi3.7_3.7.0+ds2-3_armhf.deb   2026-01-22 15:08  2.4M  
 python3-casadi_3.7.0+ds2-3_armhf.deb 2026-01-22 15:08  633K