Index of /pardus-yenikusak/pool/main/m/minisat+/

../
minisat+_1.0-2.debian.tar.gz                       10-Mar-2016 10:32    3966
minisat+_1.0-2.dsc                                 10-Mar-2016 10:32    1262
minisat+_1.0-2_amd64.deb                           10-Mar-2016 09:56    176K
minisat+_1.0-2_i386.deb                            10-Mar-2016 10:34    170K
minisat+_1.0.orig.tar.gz                           10-Mar-2016 10:32     78K