Index of /debian/pool/main/m/minisat+

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 minisat+_1.0-4.debia..> 22-Feb-2017 20:22  4.1K  
 minisat+_1.0-4.dsc      22-Feb-2017 20:22  1.9K  
 minisat+_1.0-4_amd64..> 22-Feb-2017 21:12  155K  
 minisat+_1.0-4_arm64..> 22-Feb-2017 21:12  131K  
 minisat+_1.0-4_armel..> 22-Feb-2017 21:12  127K  
 minisat+_1.0-4_armhf..> 22-Feb-2017 21:12  131K  
 minisat+_1.0-4_i386.deb 22-Feb-2017 21:12  156K  
 minisat+_1.0-4_mips6..> 22-Feb-2017 21:28  144K  
 minisat+_1.0-4_mipse..> 22-Feb-2017 21:43  141K  
 minisat+_1.0-4_ppc64..> 22-Feb-2017 21:12  145K  
 minisat+_1.0-4_s390x..> 22-Feb-2017 21:12  143K  
 minisat+_1.0-5.debia..> 09-Oct-2024 21:34  4.3K  
 minisat+_1.0-5.dsc      09-Oct-2024 21:34  1.9K  
 minisat+_1.0-5_amd64..> 10-Oct-2024 00:45  146K  
 minisat+_1.0-5_arm64..> 10-Oct-2024 00:29  130K  
 minisat+_1.0-5_armel..> 10-Oct-2024 00:45  122K  
 minisat+_1.0-5_armhf..> 10-Oct-2024 00:29  126K  
 minisat+_1.0-5_i386.deb 10-Oct-2024 00:40  145K  
 minisat+_1.0-5_mips6..> 10-Oct-2024 01:52  140K  
 minisat+_1.0-5_ppc64..> 10-Oct-2024 00:29  149K  
 minisat+_1.0-5_riscv..> 10-Oct-2024 01:20  148K  
 minisat+_1.0-5_s390x..> 10-Oct-2024 00:45  164K  
 minisat+_1.0.orig.ta..> 14-May-2011 12:02   78K