Index of /old/debian/pool/main/m/minisat2/

../
minisat2_2.2.1-3.debian.tar.gz                     03-Apr-2019 01:22                8611
minisat2_2.2.1-3.dsc                               03-Apr-2019 01:22                1135
minisat2_2.2.1-3_amd64.deb                         03-Apr-2019 01:32                5028
minisat2_2.2.1-3_i386.deb                          03-Apr-2019 01:21                5032
minisat2_2.2.1-5.debian.tar.xz                     03-Oct-2017 08:45                9348
minisat2_2.2.1-5.dsc                               03-Oct-2017 08:45                1893
minisat2_2.2.1-5_amd64.deb                         24-Aug-2017 09:49                5038
minisat2_2.2.1-5_i386.deb                          24-Aug-2017 09:25                5022
minisat2_2.2.1.orig.tar.gz                         03-Oct-2017 08:45               44229
minisat_2.2.1-3_amd64.deb                          03-Apr-2019 01:22              130458
minisat_2.2.1-3_i386.deb                           03-Apr-2019 02:14              129100
minisat_2.2.1-5_amd64.deb                          24-Aug-2017 09:25               85572
minisat_2.2.1-5_i386.deb                           24-Aug-2017 09:33               98652