Index of /bionic-frozen/pool/universe/m/minisat2/

../
minisat2_2.2.1-5build1.debian.tar.xz               05-Apr-2018 08:01                9480
minisat2_2.2.1-5build1.dsc                         05-Apr-2018 08:01                1982
minisat2_2.2.1-5build1_i386.deb                    05-Apr-2018 08:04                2028
minisat2_2.2.1.orig.tar.gz                         30-Apr-2011 17:05               44229
minisat_2.2.1-5build1_i386.deb                     05-Apr-2018 08:04               90692