| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 casadi_3.8.1+ds2-1.debian.tar.xz | 6892 bytes | 2026-10-06 16:19:25 |
| 📄 casadi_3.8.1+ds2-1.dsc | 2367 bytes | 2026-10-06 16:19:25 |
| 📄 casadi_3.8.1+ds2-1_armhf.deb | 87464 bytes | 2026-10-12 05:04:02 |
| 📄 casadi_3.8.1+ds2.orig.tar.xz | 2375572 bytes | 2026-10-06 16:19:25 |
| 📄 libcasadi-dev_3.8.1+ds2-1_armhf.deb | 337840 bytes | 2026-10-12 05:04:02 |
| 📄 libcasadi3.7_3.8.1+ds2-1_armhf.deb | 2784340 bytes | 2026-10-12 05:04:02 |
| 📄 python3-casadi_3.8.1+ds2-1_armhf.deb | 731240 bytes | 2026-10-12 05:04:02 |