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

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] casadi_3.7.0+ds2-3.d..> 2025-10-28 23:11  6.0K  tar archive
[TXT] casadi_3.7.0+ds2-3.dsc  2025-10-28 23:11  2.3K  
[   ] casadi_3.7.0+ds2.ori..> 2025-10-28 23:11  1.7M  tar archive