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

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