Index of /devuan-merged/pool/DEBIAN/main/c/casadi/

../
casadi_3.8.1+ds2-1_amd64.deb                       12-Oct-2026 07:02              114804
libcasadi-dev_3.8.1+ds2-1_amd64.deb                12-Oct-2026 07:02              337888
libcasadi3.7_3.8.1+ds2-1_amd64.deb                 12-Oct-2026 07:02             3463048
python3-casadi_3.8.1+ds2-1_amd64.deb               12-Oct-2026 07:02              926108