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

../
casadi_3.7.2+ds2-1.debian.tar.xz                   01-Jul-2026 02:15    6152
casadi_3.7.2+ds2-1.dsc                             01-Jul-2026 02:15    2367
casadi_3.7.2+ds2-1_amd64.deb                       01-Jul-2026 03:16     16K
casadi_3.7.2+ds2.orig.tar.xz                       01-Jul-2026 02:15      2M
libcasadi-dev_3.7.2+ds2-1_amd64.deb                01-Jul-2026 03:16    282K
libcasadi3.7_3.7.2+ds2-1_amd64.deb                 01-Jul-2026 03:16      3M
python3-casadi_3.7.2+ds2-1_amd64.deb               01-Jul-2026 03:16    782K