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

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