Index of /deb.debian.org/debian/pool/main/m/minisat+/

../
minisat+_1.0-5.debian.tar.xz                       10-Oct-2024 02:34    4448
minisat+_1.0-5.dsc                                 10-Oct-2024 02:34    1979
minisat+_1.0-5_amd64.deb                           10-Oct-2024 05:45    146K
minisat+_1.0.orig.tar.gz                           14-May-2011 17:02     78K