Index of /debian-elts/pool/main/m/minisat2/

../
minisat2_2.2.1-5+b3_amd64.deb                      02-Dec-2023 06:59                5258
minisat2_2.2.1-5+b3_arm64.deb                      07-Mar-2017 19:11                5250
minisat2_2.2.1-5+b3_armhf.deb                      02-Dec-2023 06:59                5254
minisat2_2.2.1-5+b3_i386.deb                       02-Dec-2023 06:59                5258
minisat2_2.2.1-5.debian.tar.xz                     01-Dec-2023 12:39                9348
minisat2_2.2.1-5.dsc                               01-Dec-2023 12:39                1893
minisat2_2.2.1-5_amd64.deb                         02-Dec-2023 21:48                5038
minisat2_2.2.1-5_armel.deb                         02-Dec-2023 21:48                5038
minisat2_2.2.1-5_armhf.deb                         02-Dec-2023 21:48                5034
minisat2_2.2.1-5_i386.deb                          02-Dec-2023 21:48                5022
minisat2_2.2.1.orig.tar.gz                         01-Dec-2023 12:39               44229
minisat_2.2.1-5+b3_amd64.deb                       02-Dec-2023 06:59               84904
minisat_2.2.1-5+b3_arm64.deb                       07-Mar-2017 19:11               81934
minisat_2.2.1-5+b3_armhf.deb                       02-Dec-2023 06:59               77816
minisat_2.2.1-5+b3_i386.deb                        02-Dec-2023 06:59               93386
minisat_2.2.1-5_amd64.deb                          02-Dec-2023 21:48               85572
minisat_2.2.1-5_armel.deb                          02-Dec-2023 21:48               79680
minisat_2.2.1-5_armhf.deb                          02-Dec-2023 21:48               80010
minisat_2.2.1-5_i386.deb                           02-Dec-2023 21:48               98652