Index of /pub/Linux/ubuntu/pool/universe/c/casadi

Icon  Name                               Last modified      Size  
[PARENTDIR] Parent Directory                                        -   
[   ] casadi_3.7.0+ds2-3.debian.tar.xz   2025-10-29 12:11  6.0K  
[TXT] casadi_3.7.0+ds2-3.dsc             2025-10-29 12:11  2.3K  
[   ] casadi_3.7.0+ds2.orig.tar.xz       2025-10-29 12:11  1.7M