../ 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_amd64.deb 30-Jun-2026 20:16 16284 casadi_3.7.2+ds2.orig.tar.xz 30-Jun-2026 19:15 1815548 libcasadi-dev_3.7.2+ds2-1_amd64.deb 30-Jun-2026 20:16 288440 libcasadi3.7_3.7.2+ds2-1_amd64.deb 30-Jun-2026 20:16 3001084 python3-casadi_3.7.2+ds2-1_amd64.deb 30-Jun-2026 20:16 800484