Index of /debian/pool/main/m/minisat2

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 minisat2_2.2.1-5+b3_amd64.deb  2017-03-07 06:27  5.1K  
 minisat2_2.2.1-5+b3_arm64.deb  2017-03-07 06:11  5.1K  
 minisat2_2.2.1-5+b3_i386.deb   2017-03-07 06:27  5.1K  
 minisat2_2.2.1-5.debian.tar.xz 2014-07-30 06:01  9.1K  
 minisat2_2.2.1-5.dsc           2014-07-30 06:01  1.8K  
 minisat2_2.2.1-5_amd64.deb     2014-07-30 06:27  4.9K  
 minisat2_2.2.1-5_i386.deb      2014-07-30 06:01  4.9K  
 minisat2_2.2.1.orig.tar.gz     2011-03-29 10:07   43K  
 minisat_2.2.1-5+b3_amd64.deb   2017-03-07 06:27   83K  
 minisat_2.2.1-5+b3_arm64.deb   2017-03-07 06:11   80K  
 minisat_2.2.1-5+b3_i386.deb    2017-03-07 06:27   91K  
 minisat_2.2.1-5_amd64.deb      2014-07-30 06:27   84K  
 minisat_2.2.1-5_i386.deb       2014-07-30 06:01   96K