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

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                          -   
[   ] casadi_3.7.2+ds2-1.debian.tar.xz     2026-06-30 14:15  6.0K  
[TXT] casadi_3.7.2+ds2-1.dsc               2026-06-30 14:15  2.3K  
[   ] casadi_3.7.2+ds2-1_armhf.deb         2026-07-06 11:08   15K  
[   ] casadi_3.7.2+ds2.orig.tar.xz         2026-06-30 14:15  1.7M  
[   ] libcasadi-dev_3.7.2+ds2-1_armhf.deb  2026-07-06 11:08  282K  
[   ] libcasadi3.7_3.7.2+ds2-1_armhf.deb   2026-07-06 11:08  2.4M  
[   ] python3-casadi_3.7.2+ds2-1_armhf.deb 2026-07-06 11:08  643K
Apache/2.4.67 (Debian) Server at raspbian.mirrors.lucidnetworks.net Port 80