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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
casadi_3.7.2+ds2-1.debian.tar.xz2026-Jun-30 21:15:096.0Kapplication/octet-stream
casadi_3.7.2+ds2-1.dsc2026-Jun-30 21:15:092.3Kapplication/octet-stream
casadi_3.7.2+ds2-1_riscv64.deb2026-Jul-05 09:27:2915.1Kapplication/octet-stream
casadi_3.7.2+ds2.orig.tar.xz2026-Jun-30 21:15:091.7Mapplication/octet-stream
libcasadi-dev_3.7.2+ds2-1_riscv64.deb2026-Jul-05 09:27:29281.6Kapplication/octet-stream
libcasadi3.7_3.7.2+ds2-1_riscv64.deb2026-Jul-05 09:27:292.7Mapplication/octet-stream
python3-casadi_3.7.2+ds2-1_riscv64.deb2026-Jul-05 09:27:29757.5Kapplication/octet-stream
lighttpd/1.4.19