Index of /aces-base/pool/main/m/minisat2/

../
minisat2_2.2.1-5+b3_amd64.deb                      09-Aug-2022 21:48                5258
minisat2_2.2.1-5.debian.tar.xz                     09-Aug-2022 21:48                9348
minisat2_2.2.1-5.dsc                               09-Aug-2022 21:48                1893
minisat2_2.2.1.orig.tar.gz                         09-Aug-2022 21:48               44229
minisat_2.2.1-5+b3_amd64.deb                       09-Aug-2022 21:48               84904