../ casadi_3.7.0+ds2-ok1.debian.tar.xz 06-May-2026 15:20 5872 casadi_3.7.0+ds2-ok1.dsc 06-May-2026 15:20 2177 casadi_3.7.0+ds2-ok1_arm64.deb 09-May-2026 08:38 18700 casadi_3.7.0+ds2.orig.tar.xz 06-May-2026 15:20 1807716 libcasadi-dev_3.7.0+ds2-ok1_arm64.deb 09-May-2026 08:38 282824 libcasadi3.7_3.7.0+ds2-ok1_arm64.deb 09-May-2026 08:38 2712070 python3-casadi_3.7.0+ds2-ok1_arm64.deb 09-May-2026 08:38 808716