../ casadi_3.7.2+ds2-1.debian.tar.xz 30-Jun-2026 22:15 6152 casadi_3.7.2+ds2-1.dsc 30-Jun-2026 22:15 2367 casadi_3.7.2+ds2-1_armhf.deb 06-Jul-2026 19:08 15K casadi_3.7.2+ds2.orig.tar.xz 30-Jun-2026 22:15 2M libcasadi-dev_3.7.2+ds2-1_armhf.deb 06-Jul-2026 19:08 282K libcasadi3.7_3.7.2+ds2-1_armhf.deb 06-Jul-2026 19:08 2M python3-casadi_3.7.2+ds2-1_armhf.deb 06-Jul-2026 19:08 643K