Name                                 Last modified      Size  
 Parent Directory                                          -   
 casadi_3.7.0+ds2-3.debian.tar.xz     2025-08-13 01:39  6.0K  
 casadi_3.7.0+ds2-3.dsc               2025-08-13 01:39  2.3K  
 casadi_3.7.0+ds2-3_amd64.deb         2025-10-28 19:26   16K  
 casadi_3.7.0+ds2-3_armhf.deb         2025-10-28 19:26   14K  
 casadi_3.7.0+ds2-3_i386.deb          2025-10-28 19:31   17K  
 casadi_3.7.0+ds2.orig.tar.xz         2025-08-13 01:39  1.7M  
 libcasadi-dev_3.7.0+ds2-3_amd64.deb  2025-10-28 19:26  280K  
 libcasadi-dev_3.7.0+ds2-3_armhf.deb  2025-10-28 19:26  280K  
 libcasadi-dev_3.7.0+ds2-3_i386.deb   2025-10-28 19:31  280K  
 libcasadi3.7_3.7.0+ds2-3_amd64.deb   2025-10-28 19:26  2.8M  
 libcasadi3.7_3.7.0+ds2-3_armhf.deb   2025-10-28 19:26  2.5M  
 libcasadi3.7_3.7.0+ds2-3_i386.deb    2025-10-28 19:31  3.2M  
 python3-casadi_3.7.0+ds2-3_amd64.deb 2025-10-28 19:26  778K  
 python3-casadi_3.7.0+ds2-3_armhf.deb 2025-10-28 19:26  659K  
 python3-casadi_3.7.0+ds2-3_i386.deb  2025-10-28 19:31  781K