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

../
minisat+_1.0-2.debian.tar.gz                       27-Sep-2017 13:44    3966
minisat+_1.0-2.dsc                                 27-Sep-2017 13:44    1262
minisat+_1.0-2_amd64.deb                           27-Sep-2017 15:53    176K
minisat+_1.0-2_i386.deb                            27-Sep-2017 12:15    170K
minisat+_1.0.orig.tar.gz                           16-Feb-2017 12:11     78K