Index of /debian/pool/main/c/casadi
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
casadi_3.7.0+ds2-3.debian.tar.xz 2025-08-12 19:39 6.0K
![[TXT]](/icons/text.gif)
casadi_3.7.0+ds2-3.dsc 2025-08-12 19:39 2.3K
casadi_3.7.0+ds2-3_amd64.deb 2025-10-28 14:26 16K
casadi_3.7.0+ds2-3_i386.deb 2025-10-28 14:31 17K
casadi_3.7.0+ds2.orig.tar.xz 2025-08-12 19:39 1.7M
libcasadi-dev_3.7.0+ds2-3_amd64.deb 2025-10-28 14:26 280K
libcasadi-dev_3.7.0+ds2-3_i386.deb 2025-10-28 14:31 280K
libcasadi3.7_3.7.0+ds2-3_amd64.deb 2025-10-28 14:26 2.8M
libcasadi3.7_3.7.0+ds2-3_i386.deb 2025-10-28 14:31 3.2M
python3-casadi_3.7.0+ds2-3_amd64.deb 2025-10-28 14:26 778K
python3-casadi_3.7.0+ds2-3_i386.deb 2025-10-28 14:31 781K