Name                                 Last modified      Size  
 Parent Directory                                          -   
 python3-casadi_3.7.2+ds2-1_amd64.deb 2026-06-30 22:16  782K  
 libcasadi3.7_3.7.2+ds2-1_amd64.deb   2026-06-30 22:16  2.9M  
 libcasadi-dev_3.7.2+ds2-1_amd64.deb  2026-06-30 22:16  282K  
 casadi_3.7.2+ds2-1_amd64.deb         2026-06-30 22:16   16K  
 casadi_3.7.2+ds2-1.debian.tar.xz     2026-06-30 21:15  6.0K  
 casadi_3.7.2+ds2.orig.tar.xz         2026-06-30 21:15  1.7M  
 casadi_3.7.2+ds2-1.dsc               2026-06-30 21:15  2.3K