Index of /debian/pool/main/c/casadi/

../
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.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
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
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