| cadical_1.5.3-2.debian.tar.xz |  | 2976 B | 
                            
                                
                                    | cadical_1.5.3-2.dsc |  | 1996 B | 
                            
                                
                                    | cadical_1.5.3-2_amd64.deb |  | 309 KiB | 
                            
                                
                                    | cadical_1.5.3-2_arm64.deb |  | 269 KiB | 
                            
                                
                                    | cadical_1.5.3-2_armel.deb |  | 270 KiB | 
                            
                                
                                    | cadical_1.5.3-2_armhf.deb |  | 274 KiB | 
                            
                                
                                    | cadical_1.5.3-2_i386.deb |  | 337 KiB | 
                            
                                
                                    | cadical_1.5.3-2_mips64el.deb |  | 307 KiB | 
                            
                                
                                    | cadical_1.5.3-2_mipsel.deb |  | 324 KiB | 
                            
                                
                                    | cadical_1.5.3-2_ppc64el.deb |  | 316 KiB | 
                            
                                
                                    | cadical_1.5.3-2_s390x.deb |  | 271 KiB | 
                            
                                
                                    | cadical_1.5.3.orig.tar.gz |  | 582 KiB | 
                            
                                
                                    | cadical_1.7.4-1+b1_amd64.deb |  | 387 KiB | 
                            
                                
                                    | cadical_1.7.4-1+b1_arm64.deb |  | 339 KiB | 
                            
                                
                                    | cadical_1.7.4-1+b1_armel.deb |  | 333 KiB | 
                            
                                
                                    | cadical_1.7.4-1+b1_armhf.deb |  | 340 KiB | 
                            
                                
                                    | cadical_1.7.4-1+b1_i386.deb |  | 419 KiB | 
                            
                                
                                    | cadical_1.7.4-1+b1_mips64el.deb |  | 380 KiB | 
                            
                                
                                    | cadical_1.7.4-1+b1_ppc64el.deb |  | 392 KiB | 
                            
                                
                                    | cadical_1.7.4-1+b1_riscv64.deb |  | 395 KiB | 
                            
                                
                                    | cadical_1.7.4-1+b1_s390x.deb |  | 392 KiB | 
                            
                                
                                    | cadical_1.7.4-1.debian.tar.xz |  | 3960 B | 
                            
                                
                                    | cadical_1.7.4-1.dsc |  | 1996 B | 
                            
                                
                                    | cadical_1.7.4.orig.tar.gz |  | 633 KiB | 
                            
                                
                                    | libcadical-dev_1.5.3-2_amd64.deb |  | 281 KiB | 
                            
                                
                                    | libcadical-dev_1.5.3-2_arm64.deb |  | 262 KiB | 
                            
                                
                                    | libcadical-dev_1.5.3-2_armel.deb |  | 271 KiB | 
                            
                                
                                    | libcadical-dev_1.5.3-2_armhf.deb |  | 276 KiB | 
                            
                                
                                    | libcadical-dev_1.5.3-2_i386.deb |  | 318 KiB | 
                            
                                
                                    | libcadical-dev_1.5.3-2_mips64el.deb |  | 306 KiB | 
                            
                                
                                    | libcadical-dev_1.5.3-2_mipsel.deb |  | 320 KiB | 
                            
                                
                                    | libcadical-dev_1.5.3-2_ppc64el.deb |  | 303 KiB | 
                            
                                
                                    | libcadical-dev_1.5.3-2_s390x.deb |  | 259 KiB | 
                            
                                
                                    | libcadical-dev_1.7.4-1+b1_amd64.deb |  | 344 KiB | 
                            
                                
                                    | libcadical-dev_1.7.4-1+b1_arm64.deb |  | 325 KiB | 
                            
                                
                                    | libcadical-dev_1.7.4-1+b1_armel.deb |  | 328 KiB | 
                            
                                
                                    | libcadical-dev_1.7.4-1+b1_armhf.deb |  | 333 KiB | 
                            
                                
                                    | libcadical-dev_1.7.4-1+b1_i386.deb |  | 386 KiB | 
                            
                                
                                    | libcadical-dev_1.7.4-1+b1_mips64el.deb |  | 373 KiB | 
                            
                                
                                    | libcadical-dev_1.7.4-1+b1_ppc64el.deb |  | 366 KiB | 
                            
                                
                                    | libcadical-dev_1.7.4-1+b1_riscv64.deb |  | 1273 KiB | 
                            
                                
                                    | libcadical-dev_1.7.4-1+b1_s390x.deb |  | 364 KiB |