Index of /sites/raspbian.org/raspbian/pool/main/m/minisat+

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 minisat+_1.0-2.debian.tar.gz              2012-04-19 04:11  3.9K  
 minisat+_1.0-2.dsc                        2012-04-19 04:11  1.2K  
 minisat+_1.0-2_armhf.deb                  2012-04-27 17:43  150K  
 minisat+_1.0-3.debian.tar.xz              2016-12-19 20:23  4.0K  
 minisat+_1.0-3.dsc                        2016-12-19 20:23  1.9K  
 minisat+_1.0-3_armhf.deb                  2017-01-01 11:08  117K  
 minisat+_1.0-4.debian.tar.xz              2017-02-22 21:22  4.1K  
 minisat+_1.0-4.dsc                        2017-02-22 21:22  1.9K  
 minisat+_1.0-4_armhf.deb                  2017-06-23 00:08  117K  
 minisat+_1.0.orig.tar.gz                  2012-04-19 04:11   78K