../ casadi_3.8.1+ds2-1.debian.tar.xz 06-Oct-2026 16:19 6892 casadi_3.8.1+ds2-1.dsc 06-Oct-2026 16:19 2367 casadi_3.8.1+ds2-1_armhf.deb 12-Oct-2026 05:04 87464 casadi_3.8.1+ds2.orig.tar.xz 06-Oct-2026 16:19 2375572 libcasadi-dev_3.8.1+ds2-1_armhf.deb 12-Oct-2026 05:04 337840 libcasadi3.7_3.8.1+ds2-1_armhf.deb 12-Oct-2026 05:04 2784340 python3-casadi_3.8.1+ds2-1_armhf.deb 12-Oct-2026 05:04 731240