Index of /pool/main/c/casadi/

../
casadi_3.7.2+ds2-1_amd64.deb                       06-Sep-2026 16:27               16284
libcasadi-dev_3.7.2+ds2-1_amd64.deb                06-Sep-2026 16:27              288440
libcasadi3.7_3.7.2+ds2-1_amd64.deb                 06-Sep-2026 16:27             3001084
python3-casadi_3.7.2+ds2-1_amd64.deb               06-Sep-2026 16:27              800484