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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]python3-casadi_3.7.0+ds2-3_riscv64.deb2025-10-30 17:58 754K 
[   ]python3-casadi_3.7.0+ds2-3_i386.deb2025-10-28 13:31 781K 
[   ]python3-casadi_3.7.0+ds2-3_amd64.deb2025-10-28 13:26 778K 
[   ]libcasadi3.7_3.7.0+ds2-3_riscv64.deb2025-10-30 17:58 2.7M 
[   ]libcasadi3.7_3.7.0+ds2-3_i386.deb2025-10-28 13:31 3.2M 
[   ]libcasadi3.7_3.7.0+ds2-3_amd64.deb2025-10-28 13:26 2.8M 
[   ]libcasadi-dev_3.7.0+ds2-3_riscv64.deb2025-10-30 17:58 280K 
[   ]libcasadi-dev_3.7.0+ds2-3_i386.deb2025-10-28 13:31 280K 
[   ]libcasadi-dev_3.7.0+ds2-3_amd64.deb2025-10-28 13:26 280K 
[   ]casadi_3.7.0+ds2.orig.tar.xz2025-08-12 18:39 1.7M 
[   ]casadi_3.7.0+ds2-3_riscv64.deb2025-10-30 17:58 15K 
[   ]casadi_3.7.0+ds2-3_i386.deb2025-10-28 13:31 17K 
[   ]casadi_3.7.0+ds2-3_amd64.deb2025-10-28 13:26 16K 
[TXT]casadi_3.7.0+ds2-3.dsc2025-08-12 18:39 2.3K 
[   ]casadi_3.7.0+ds2-3.debian.tar.xz2025-08-12 18:39 6.0K 

Apache/2.4.65 (Debian) Server at mirror.cis.ksu.edu Port 80