Index of /pool/main/c/casadi/

../
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.orig.tar.xz                       30-Jun-2026 19:15             1815548
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-1_arm64.deb                       06-Oct-2026 16:49               96000
casadi_3.8.1+ds2-1_i386.deb                        06-Oct-2026 16:59              120804
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
libcasadi-dev_3.8.1+ds2-1_arm64.deb                06-Oct-2026 16:49              337860
libcasadi-dev_3.8.1+ds2-1_i386.deb                 06-Oct-2026 16:59              337820
libcasadi3.7_3.8.1+ds2-1_amd64.deb                 06-Oct-2026 16:49             3463048
libcasadi3.7_3.8.1+ds2-1_arm64.deb                 06-Oct-2026 16:49             2769448
libcasadi3.7_3.8.1+ds2-1_i386.deb                  06-Oct-2026 16:59             3788576
python3-casadi_3.8.1+ds2-1_amd64.deb               06-Oct-2026 16:49              926108
python3-casadi_3.8.1+ds2-1_arm64.deb               06-Oct-2026 16:49              748832
python3-casadi_3.8.1+ds2-1_i386.deb                06-Oct-2026 16:59              892232