The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ casadi_3.7.0+ds2-3.debian.tar.xz 12-Aug-2025 23:39 6104 casadi_3.7.0+ds2-3.dsc 12-Aug-2025 23:39 2370 casadi_3.7.0+ds2-3_amd64.deb 28-Oct-2025 18:26 16156 casadi_3.7.0+ds2-3_arm64.deb 28-Oct-2025 18:26 14780 casadi_3.7.0+ds2-3_i386.deb 28-Oct-2025 18:31 16956 casadi_3.7.0+ds2.orig.tar.xz 12-Aug-2025 23:39 1807716 libcasadi-dev_3.7.0+ds2-3_amd64.deb 28-Oct-2025 18:26 286316 libcasadi-dev_3.7.0+ds2-3_arm64.deb 28-Oct-2025 18:26 286280 libcasadi-dev_3.7.0+ds2-3_i386.deb 28-Oct-2025 18:31 286252 libcasadi3.7_3.7.0+ds2-3_amd64.deb 28-Oct-2025 18:26 2980420 libcasadi3.7_3.7.0+ds2-3_arm64.deb 28-Oct-2025 18:26 2460128 libcasadi3.7_3.7.0+ds2-3_i386.deb 28-Oct-2025 18:31 3309572 python3-casadi_3.7.0+ds2-3_amd64.deb 28-Oct-2025 18:26 796372 python3-casadi_3.7.0+ds2-3_arm64.deb 28-Oct-2025 18:26 675800 python3-casadi_3.7.0+ds2-3_i386.deb 28-Oct-2025 18:31 799368
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.