Index of /xenial-preprod/pool/main/m/minisat+/

../
minisat+_1.0-2_amd64.deb                           24-Apr-2018 14:24              180538
minisat+_1.0-2_i386.deb                            24-Apr-2018 14:02              172124