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

../
casadi_3.7.2+ds2-1_amd64.deb                       30-Jun-2026 20:16     16K
libcasadi-dev_3.7.2+ds2-1_amd64.deb                30-Jun-2026 20:16    282K
libcasadi3.7_3.7.2+ds2-1_amd64.deb                 30-Jun-2026 20:16      3M
python3-casadi_3.7.2+ds2-1_amd64.deb               30-Jun-2026 20:16    782K