../ casadi_3.7.2+ds2-1.debian.tar.xz 30-Jun-2026 19:15 6152 casadi_3.7.2+ds2-1.dsc 30-Jun-2026 19:15 2367 casadi_3.7.2+ds2-1_armhf.deb 06-Jul-2026 16:08 14896 casadi_3.7.2+ds2.orig.tar.xz 30-Jun-2026 19:15 1815548 libcasadi-dev_3.7.2+ds2-1_armhf.deb 06-Jul-2026 16:08 288440 libcasadi3.7_3.7.2+ds2-1_armhf.deb 06-Jul-2026 16:08 2512500 python3-casadi_3.7.2+ds2-1_armhf.deb 06-Jul-2026 16:08 658756