| 
                                        
                                            
                                            casadi_3.7.0+ds2-3.debian.tar.xz
                                        
                                     | 
                                    
                                        
                                     | 
                                    6104 B | 
                                
                            
                                
                                    | 
                                        
                                            
                                            casadi_3.7.0+ds2-3.dsc
                                        
                                     | 
                                    
                                        
                                     | 
                                    2370 B | 
                                
                            
                                
                                    | 
                                        
                                            
                                            casadi_3.7.0+ds2-3_amd64.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    16 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            casadi_3.7.0+ds2-3_arm64.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    14 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            casadi_3.7.0+ds2-3_armel.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    14 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            casadi_3.7.0+ds2-3_armhf.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    14 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            casadi_3.7.0+ds2-3_i386.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    17 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            casadi_3.7.0+ds2-3_mips64el.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    15 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            casadi_3.7.0+ds2-3_ppc64el.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    16 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            casadi_3.7.0+ds2-3_riscv64.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    15 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            casadi_3.7.0+ds2-3_s390x.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    15 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            casadi_3.7.0+ds2.orig.tar.xz
                                        
                                     | 
                                    
                                        
                                     | 
                                    1765 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi-dev_3.7.0+ds2-3_amd64.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    280 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi-dev_3.7.0+ds2-3_arm64.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    280 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi-dev_3.7.0+ds2-3_armel.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    280 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi-dev_3.7.0+ds2-3_armhf.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    280 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi-dev_3.7.0+ds2-3_i386.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    280 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi-dev_3.7.0+ds2-3_mips64el.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    280 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi-dev_3.7.0+ds2-3_ppc64el.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    280 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi-dev_3.7.0+ds2-3_riscv64.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    280 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi-dev_3.7.0+ds2-3_s390x.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    280 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi3.7_3.7.0+ds2-3_amd64.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    2911 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi3.7_3.7.0+ds2-3_arm64.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    2402 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi3.7_3.7.0+ds2-3_armel.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    2435 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi3.7_3.7.0+ds2-3_armhf.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    2523 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi3.7_3.7.0+ds2-3_i386.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    3232 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi3.7_3.7.0+ds2-3_mips64el.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    2120 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi3.7_3.7.0+ds2-3_ppc64el.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    2826 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi3.7_3.7.0+ds2-3_riscv64.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    2781 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            libcasadi3.7_3.7.0+ds2-3_s390x.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    2806 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            python3-casadi_3.7.0+ds2-3_amd64.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    778 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            python3-casadi_3.7.0+ds2-3_arm64.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    660 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            python3-casadi_3.7.0+ds2-3_armel.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    637 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            python3-casadi_3.7.0+ds2-3_armhf.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    659 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            python3-casadi_3.7.0+ds2-3_i386.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    781 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            python3-casadi_3.7.0+ds2-3_mips64el.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    527 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            python3-casadi_3.7.0+ds2-3_ppc64el.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    737 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            python3-casadi_3.7.0+ds2-3_riscv64.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    754 KiB | 
                                
                            
                                
                                    | 
                                        
                                            
                                            python3-casadi_3.7.0+ds2-3_s390x.deb
                                        
                                     | 
                                    
                                        
                                     | 
                                    733 KiB |