Index of /ubuntu/pool/universe/m/minisat2/

../
minisat2_2.2.1-5build1.debian.tar.xz               08-Sep-2021 03:33    9480
minisat2_2.2.1-5build1.dsc                         08-Sep-2021 03:33    1982
minisat2_2.2.1-5build1_amd64.deb                   05-Apr-2018 01:03    2032
minisat2_2.2.1-5build1_i386.deb                    18-Nov-2020 02:28    2028
minisat2_2.2.1-5build2.debian.tar.xz               08-Sep-2021 03:33    9528
minisat2_2.2.1-5build2.dsc                         08-Sep-2021 03:33    1978
minisat2_2.2.1-5build2_amd64.deb                   18-Nov-2020 02:28    2032
minisat2_2.2.1-8build1.debian.tar.xz               06-May-2024 22:54    9976
minisat2_2.2.1-8build1.dsc                         06-May-2024 22:54    1811
minisat2_2.2.1.orig.tar.gz                         06-Nov-2024 22:22     43K
minisat_2.2.1-5build1_amd64.deb                    05-Apr-2018 01:03     80K
minisat_2.2.1-5build1_i386.deb                     18-Nov-2020 02:28     89K
minisat_2.2.1-5build2_amd64.deb                    18-Nov-2020 02:28     80K
minisat_2.2.1-8build1_amd64.deb                    06-May-2024 22:54     86K