Index of /debian-elts/pool/main/m/minisat+/

../
minisat+_1.0-2.debian.tar.gz                       02-Dec-2023 21:48                3966
minisat+_1.0-2.dsc                                 02-Dec-2023 21:48                1262
minisat+_1.0-2_amd64.deb                           02-Dec-2023 21:48              180194
minisat+_1.0-2_armel.deb                           02-Dec-2023 21:48              158974
minisat+_1.0-2_armhf.deb                           02-Dec-2023 21:48              145300
minisat+_1.0-2_i386.deb                            02-Dec-2023 21:48              174052
minisat+_1.0-3.debian.tar.xz                       02-Dec-2023 06:59                4124
minisat+_1.0-3.dsc                                 02-Dec-2023 06:59                1984
minisat+_1.0-3_amd64.deb                           02-Dec-2023 06:59              158392
minisat+_1.0-3_armhf.deb                           02-Dec-2023 06:59              133300
minisat+_1.0-3_i386.deb                            02-Dec-2023 06:59              160068
minisat+_1.0-4_amd64.deb                           23-Feb-2017 05:12              158368
minisat+_1.0-4_arm64.deb                           23-Feb-2017 05:12              133914
minisat+_1.0-4_armhf.deb                           23-Feb-2017 05:12              133736
minisat+_1.0-4_i386.deb                            23-Feb-2017 05:12              160076
minisat+_1.0.orig.tar.gz                           01-Dec-2023 12:39               79990