Index of /pool/main/c/casadi/

../
casadi_3.8.1+ds2-1_amd64.deb                       06-Oct-2026 16:49              114804
libcasadi-dev_3.8.1+ds2-1_amd64.deb                06-Oct-2026 16:49              337888
libcasadi3.7_3.8.1+ds2-1_amd64.deb                 06-Oct-2026 16:49             3463048
python3-casadi_3.8.1+ds2-1_amd64.deb               06-Oct-2026 16:49              926108