Index of /pub/Linux/raspbian/raspbian/pool/main/m/minisat+

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] minisat+_1.0-4.debian.tar.xz              2017-02-23 05:22  4.1K  
[TXT] minisat+_1.0-4.dsc                        2017-02-23 05:22  1.9K  
[   ] minisat+_1.0-4_armhf.deb                  2017-06-23 07:08  117K  
[   ] minisat+_1.0.orig.tar.gz                  2012-04-19 11:11   78K