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


../
minisat2_2.2.1-5+b3_amd64.deb                      07-Mar-2017 18:27                5258
minisat2_2.2.1-5+b3_arm64.deb                      07-Mar-2017 18:11                5250
minisat2_2.2.1-5+b3_armel.deb                      07-Mar-2017 19:13                5244
minisat2_2.2.1-5+b3_armhf.deb                      07-Mar-2017 18:57                5254
minisat2_2.2.1-5+b3_i386.deb                       07-Mar-2017 18:27                5258
minisat2_2.2.1-5+b3_mips.deb                       07-Mar-2017 18:27                5244
minisat2_2.2.1-5+b3_mips64el.deb                   07-Mar-2017 19:13                5260
minisat2_2.2.1-5+b3_mipsel.deb                     07-Mar-2017 19:44                5252
minisat2_2.2.1-5+b3_ppc64el.deb                    07-Mar-2017 18:27                5264
minisat2_2.2.1-5+b3_s390x.deb                      07-Mar-2017 18:27                5246
minisat2_2.2.1-5.debian.tar.xz                     30-Jul-2014 17:01                9348
minisat2_2.2.1-5.dsc                               30-Jul-2014 17:01                1893
minisat2_2.2.1-6.debian.tar.xz                     20-Feb-2024 19:11                9396
minisat2_2.2.1-6.dsc                               20-Feb-2024 19:11                1778
minisat2_2.2.1-7.debian.tar.xz                     22-Feb-2024 18:11                9816
minisat2_2.2.1-7.dsc                               22-Feb-2024 18:11                1729
minisat2_2.2.1.orig.tar.gz                         29-Mar-2011 21:07               44229
minisat_2.2.1-5+b3_amd64.deb                       07-Mar-2017 18:27               84904
minisat_2.2.1-5+b3_arm64.deb                       07-Mar-2017 18:11               81934
minisat_2.2.1-5+b3_armel.deb                       07-Mar-2017 19:13               79124
minisat_2.2.1-5+b3_armhf.deb                       07-Mar-2017 18:57               77816
minisat_2.2.1-5+b3_i386.deb                        07-Mar-2017 18:27               93386
minisat_2.2.1-5+b3_mips.deb                        07-Mar-2017 18:27               90430
minisat_2.2.1-5+b3_mips64el.deb                    07-Mar-2017 19:13               90918
minisat_2.2.1-5+b3_mipsel.deb                      07-Mar-2017 19:44               91110
minisat_2.2.1-5+b3_ppc64el.deb                     07-Mar-2017 18:27               88496
minisat_2.2.1-5+b3_s390x.deb                       07-Mar-2017 18:27               83218
minisat_2.2.1-6_amd64.deb                          20-Feb-2024 19:41               83160
minisat_2.2.1-6_arm64.deb                          20-Feb-2024 19:41               84008
minisat_2.2.1-7_armel.deb                          22-Feb-2024 20:44               77684
minisat_2.2.1-7_armhf.deb                          22-Feb-2024 20:49               76420
minisat_2.2.1-7_i386.deb                           22-Feb-2024 20:44               92404
minisat_2.2.1-7_mips64el.deb                       22-Feb-2024 21:14               87976
minisat_2.2.1-7_ppc64el.deb                        22-Feb-2024 20:54               89312
minisat_2.2.1-7_riscv64.deb                        22-Feb-2024 20:49              150884
minisat_2.2.1-7_s390x.deb                          22-Feb-2024 21:30               85416