Index of /debian-ports/pool-sh4/main/c/casadi

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]casadi-dbgsym_3.7.0+ds2-3_sh4.deb2025-10-29 19:03 341K 
[   ]casadi_3.7.0+ds2-3_sh4.buildinfo2025-10-29 19:03 12K 
[   ]casadi_3.7.0+ds2-3_sh4.deb2025-10-29 19:03 16K 
[   ]libcasadi-dev_3.7.0+ds2-3_sh4.deb2025-10-29 19:03 280K 
[   ]libcasadi3.7-dbgsym_3.7.0+ds2-3_sh4.deb2025-10-29 19:03 58M 
[   ]libcasadi3.7_3.7.0+ds2-3_sh4.deb2025-10-29 19:03 3.3M 
[   ]python3-casadi-dbgsym_3.7.0+ds2-3_sh4.deb2025-10-29 19:03 7.3M 
[   ]python3-casadi_3.7.0+ds2-3_sh4.deb2025-10-29 19:03 800K 

Apache/2.4.65 (Debian) Server at ftp.polytech-lille.fr Port 80