../ 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 112K casadi_3.8.1+ds2-1_i386.deb 06-Oct-2026 16:59 118K casadi_3.8.1+ds2-1_loong64.deb 06-Oct-2026 17:05 98K casadi_3.8.1+ds2.orig.tar.xz 06-Oct-2026 16:19 2M libcasadi-dev_3.8.1+ds2-1_amd64.deb 06-Oct-2026 16:49 330K libcasadi-dev_3.8.1+ds2-1_i386.deb 06-Oct-2026 16:59 330K libcasadi-dev_3.8.1+ds2-1_loong64.deb 06-Oct-2026 17:05 330K libcasadi3.7_3.8.1+ds2-1_amd64.deb 06-Oct-2026 16:49 3M libcasadi3.7_3.8.1+ds2-1_i386.deb 06-Oct-2026 16:59 4M libcasadi3.7_3.8.1+ds2-1_loong64.deb 06-Oct-2026 17:05 3M python3-casadi_3.8.1+ds2-1_amd64.deb 06-Oct-2026 16:49 904K python3-casadi_3.8.1+ds2-1_i386.deb 06-Oct-2026 16:59 871K python3-casadi_3.8.1+ds2-1_loong64.deb 06-Oct-2026 17:05 770K