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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 minisat+_1.0-4+b1_ri..> 11-Feb-2024 13:30  143K  
 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.orig.ta..> 14-May-2011 12:02   78K