Index of /pool/universe/c/casadi

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 casadi_3.7.0+ds2-3.debian.tar.xz       2025-10-29 05:11  6.0K  
 casadi_3.7.0+ds2-3.dsc                 2025-10-29 05:11  2.3K  
 casadi_3.7.0+ds2-3_amd64.deb           2025-10-31 22:40   14K  
 casadi_3.7.0+ds2-3_amd64v3.deb         2025-10-31 22:40   15K  
 casadi_3.7.0+ds2.orig.tar.xz           2025-10-29 05:11  1.7M  
 libcasadi-dev_3.7.0+ds2-3_amd64.deb    2025-10-31 22:40  277K  
 libcasadi-dev_3.7.0+ds2-3_amd64v3.deb  2025-10-31 22:40  277K  
 libcasadi3.7_3.7.0+ds2-3_amd64.deb     2025-10-31 22:40  2.9M  
 libcasadi3.7_3.7.0+ds2-3_amd64v3.deb   2025-10-31 22:40  2.9M  
 python3-casadi_3.7.0+ds2-3_amd64.deb   2025-10-31 22:40  846K  
 python3-casadi_3.7.0+ds2-3_amd64v3.deb 2025-10-31 22:40  857K