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

../
casadi_3.7.2+ds2-1_amd64.deb                       30-Jun-2026 20:16               16284
casadi_3.7.2+ds2-1_arm64.deb                       30-Jun-2026 20:17               14940
libcasadi-dev_3.7.2+ds2-1_amd64.deb                30-Jun-2026 20:16              288440
libcasadi-dev_3.7.2+ds2-1_arm64.deb                30-Jun-2026 20:17              288452
libcasadi3.7_3.7.2+ds2-1_amd64.deb                 30-Jun-2026 20:16             3001084
libcasadi3.7_3.7.2+ds2-1_arm64.deb                 30-Jun-2026 20:17             2474824
python3-casadi_3.7.2+ds2-1_amd64.deb               30-Jun-2026 20:16              800484
python3-casadi_3.7.2+ds2-1_arm64.deb               30-Jun-2026 20:17              678928