Index of /debian/pool/main/c/casadi

 Name                                   Last modified      Size  
 Parent Directory                                            -   
 casadi_3.7.2+ds2-1.debian.tar.xz       2026-06-30 14:15  6.0K  
 casadi_3.7.2+ds2-1.dsc                 2026-06-30 14:15  2.3K  
 casadi_3.7.2+ds2-1_amd64.deb           2026-06-30 15:16   16K  
 casadi_3.7.2+ds2-1_arm64.deb           2026-06-30 15:17   15K  
 casadi_3.7.2+ds2-1_armhf.deb           2026-06-30 15:17   14K  
 casadi_3.7.2+ds2-1_i386.deb            2026-06-30 15:17   17K  
 casadi_3.7.2+ds2-1_loong64.deb         2026-06-30 15:27   15K  
 casadi_3.7.2+ds2-1_riscv64.deb         2026-07-05 02:27   15K  
 casadi_3.7.2+ds2.orig.tar.xz           2026-06-30 14:15  1.7M  
 libcasadi-dev_3.7.2+ds2-1_amd64.deb    2026-06-30 15:16  282K  
 libcasadi-dev_3.7.2+ds2-1_arm64.deb    2026-06-30 15:17  282K  
 libcasadi-dev_3.7.2+ds2-1_armhf.deb    2026-06-30 15:17  282K  
 libcasadi-dev_3.7.2+ds2-1_i386.deb     2026-06-30 15:17  282K  
 libcasadi-dev_3.7.2+ds2-1_loong64.deb  2026-06-30 15:27  282K  
 libcasadi-dev_3.7.2+ds2-1_riscv64.deb  2026-07-05 02:27  282K  
 libcasadi3.7_3.7.2+ds2-1_amd64.deb     2026-06-30 15:16  2.9M  
 libcasadi3.7_3.7.2+ds2-1_arm64.deb     2026-06-30 15:17  2.4M  
 libcasadi3.7_3.7.2+ds2-1_armhf.deb     2026-06-30 15:17  2.5M  
 libcasadi3.7_3.7.2+ds2-1_i386.deb      2026-06-30 15:17  3.2M  
 libcasadi3.7_3.7.2+ds2-1_loong64.deb   2026-06-30 15:27  2.6M  
 libcasadi3.7_3.7.2+ds2-1_riscv64.deb   2026-07-05 02:27  2.7M  
 python3-casadi_3.7.2+ds2-1_amd64.deb   2026-06-30 15:16  782K  
 python3-casadi_3.7.2+ds2-1_arm64.deb   2026-06-30 15:17  663K  
 python3-casadi_3.7.2+ds2-1_armhf.deb   2026-06-30 15:17  666K  
 python3-casadi_3.7.2+ds2-1_i386.deb    2026-06-30 15:17  783K  
 python3-casadi_3.7.2+ds2-1_loong64.deb 2026-06-30 15:27  714K  
 python3-casadi_3.7.2+ds2-1_riscv64.deb 2026-07-05 02:27  758K