1. casadi_3.7.0+ds2-3.debian.tar.xz
2. casadi_3.7.0+ds2-3.dsc
3. casadi_3.7.0+ds2-3_amd64.deb
4. casadi_3.7.0+ds2-3_i386.deb
5. casadi_3.7.0+ds2.orig.tar.xz
6. libcasadi-dev_3.7.0+ds2-3_amd64.deb
7. libcasadi-dev_3.7.0+ds2-3_i386.deb
8. libcasadi3.7_3.7.0+ds2-3_amd64.deb
9. libcasadi3.7_3.7.0+ds2-3_i386.deb
10. python3-casadi_3.7.0+ds2-3_amd64.deb
11. python3-casadi_3.7.0+ds2-3_i386.deb