This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ casadi_3.7.0+ds2-3.debian.tar.xz 29-Oct-2025 03:11 6104 casadi_3.7.0+ds2-3.dsc 29-Oct-2025 03:11 2370 casadi_3.7.0+ds2-3_amd64.deb 31-Oct-2025 20:40 14K casadi_3.7.0+ds2-3_amd64v3.deb 31-Oct-2025 20:40 15K casadi_3.7.0+ds2-3_arm64.deb 31-Oct-2025 20:41 14K casadi_3.7.0+ds2.orig.tar.xz 29-Oct-2025 03:11 2M casadi_3.7.2+ds2-1.debian.tar.xz 01-Jul-2026 01:46 6152 casadi_3.7.2+ds2-1.dsc 01-Jul-2026 01:46 2367 casadi_3.7.2+ds2-1_amd64.deb 01-Jul-2026 02:09 14K casadi_3.7.2+ds2-1_amd64v3.deb 01-Jul-2026 02:11 15K casadi_3.7.2+ds2-1_arm64.deb 01-Jul-2026 02:12 14K casadi_3.7.2+ds2.orig.tar.xz 01-Jul-2026 01:46 2M libcasadi-dev_3.7.0+ds2-3_amd64.deb 31-Oct-2025 20:40 277K libcasadi-dev_3.7.0+ds2-3_amd64v3.deb 31-Oct-2025 20:40 277K libcasadi-dev_3.7.0+ds2-3_arm64.deb 31-Oct-2025 20:41 277K libcasadi-dev_3.7.2+ds2-1_amd64.deb 01-Jul-2026 02:09 279K libcasadi-dev_3.7.2+ds2-1_amd64v3.deb 01-Jul-2026 02:11 279K libcasadi-dev_3.7.2+ds2-1_arm64.deb 01-Jul-2026 02:12 279K libcasadi3.7_3.7.0+ds2-3_amd64.deb 31-Oct-2025 20:40 3M libcasadi3.7_3.7.0+ds2-3_amd64v3.deb 31-Oct-2025 20:40 3M libcasadi3.7_3.7.0+ds2-3_arm64.deb 31-Oct-2025 20:41 3M libcasadi3.7_3.7.2+ds2-1_amd64.deb 01-Jul-2026 02:09 3M libcasadi3.7_3.7.2+ds2-1_amd64v3.deb 01-Jul-2026 02:11 3M libcasadi3.7_3.7.2+ds2-1_arm64.deb 01-Jul-2026 02:12 3M python3-casadi_3.7.0+ds2-3_amd64.deb 31-Oct-2025 20:40 846K python3-casadi_3.7.0+ds2-3_amd64v3.deb 31-Oct-2025 20:40 857K python3-casadi_3.7.0+ds2-3_arm64.deb 31-Oct-2025 20:41 764K python3-casadi_3.7.2+ds2-1_amd64.deb 01-Jul-2026 02:09 851K python3-casadi_3.7.2+ds2-1_amd64v3.deb 01-Jul-2026 02:11 860K python3-casadi_3.7.2+ds2-1_arm64.deb 01-Jul-2026 02:12 767K