../ 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_amd64.deb 06-Oct-2026 16:49 114804 casadi_3.8.1+ds2.orig.tar.xz 06-Oct-2026 16:19 2375572 libcasadi-dev_3.8.1+ds2-1_amd64.deb 06-Oct-2026 16:49 337888 libcasadi3.7_3.8.1+ds2-1_amd64.deb 06-Oct-2026 16:49 3463048 python3-casadi_3.8.1+ds2-1_amd64.deb 06-Oct-2026 16:49 926108