Index of /old/debian/pool/main/m/minisat+/

../
minisat+_1.0-2.debian.tar.gz                       03-Oct-2017 12:29                3966
minisat+_1.0-2.dsc                                 03-Oct-2017 12:29                1262
minisat+_1.0-2_amd64.deb                           24-Aug-2017 09:38              180194
minisat+_1.0-2_i386.deb                            24-Aug-2017 09:49              174052
minisat+_1.0.orig.tar.gz                           03-Oct-2017 08:54               79990