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

 Name                         Last modified      Size  Description
 Parent Directory                                  -   
 minisat+_1.0-2.dsc           2011-05-25 03:50  1.2K  
 minisat+_1.0-3.dsc           2016-12-19 20:23  1.9K  
 minisat+_1.0-2.debian.tar.gz 2011-05-25 03:50  3.9K  
 minisat+_1.0-3.debian.tar.xz 2016-12-19 20:23  4.0K  
 minisat+_1.0.orig.tar.gz     2011-05-14 14:02   78K  
 minisat+_1.0-3_amd64.deb     2016-12-19 20:58  155K  
 minisat+_1.0-3_i386.deb      2016-12-19 20:58  156K  
 minisat+_1.0-2_i386.deb      2011-05-25 09:49  170K  
 minisat+_1.0-2_amd64.deb     2011-05-25 03:50  176K