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


../
minisat2_070721-5.diff.gz                          07-Sep-2008 19:17                7289
minisat2_070721-5.dsc                              07-Sep-2008 19:17                 964
minisat2_070721-5_alpha.deb                        10-Sep-2008 19:02               41242
minisat2_070721-5_amd64.deb                        08-Sep-2008 06:32               42808
minisat2_070721-5_arm.deb                          09-Sep-2008 21:17               42686
minisat2_070721-5_armel.deb                        08-Sep-2008 12:02               42016
minisat2_070721-5_hppa.deb                         09-Sep-2008 06:02               45584
minisat2_070721-5_i386.deb                         10-Sep-2008 18:47               40590
minisat2_070721-5_ia64.deb                         08-Sep-2008 07:17               66588
minisat2_070721-5_mips.deb                         10-Sep-2008 21:17               43482
minisat2_070721-5_mipsel.deb                       10-Sep-2008 18:32               43550
minisat2_070721-5_powerpc.deb                      10-Sep-2008 18:47               44362
minisat2_070721-5_s390.deb                         07-Sep-2008 19:17               42020
minisat2_070721-5_sparc.deb                        10-Sep-2008 07:47               39136
minisat2_070721.orig.tar.gz                        08-Jun-2008 09:02               31937
minisat2_2.2.0-2.debian.tar.gz                     25-Jul-2010 20:50                9783
minisat2_2.2.0-2.dsc                               25-Jul-2010 20:50                1110
minisat2_2.2.0-2_amd64.deb                         25-Jul-2010 20:50              109824
minisat2_2.2.0-2_armel.deb                         27-Jul-2010 08:38              105074
minisat2_2.2.0-2_i386.deb                          26-Jul-2010 06:52              108338
minisat2_2.2.0-2_ia64.deb                          26-Jul-2010 02:56              163788
minisat2_2.2.0-2_kfreebsd-amd64.deb                29-Jul-2010 20:58              108092
minisat2_2.2.0-2_kfreebsd-i386.deb                 26-Jul-2010 08:40              107536
minisat2_2.2.0-2_mips.deb                          27-Jul-2010 18:11              114440
minisat2_2.2.0-2_mipsel.deb                        26-Jul-2010 09:21              113146
minisat2_2.2.0-2_powerpc.deb                       26-Jul-2010 14:59              112762
minisat2_2.2.0-2_s390.deb                          26-Jul-2010 10:51              109040
minisat2_2.2.0-2_sparc.deb                         26-Jul-2010 08:40              109286
minisat2_2.2.0.orig.tar.gz                         25-Jul-2010 07:02               43876
minisat2_2.2.1-3.debian.tar.gz                     03-Sep-2011 23:34                8611
minisat2_2.2.1-3.dsc                               03-Sep-2011 23:34                1135
minisat2_2.2.1-3_amd64.deb                         04-Sep-2011 00:03                5028
minisat2_2.2.1-3_armel.deb                         04-Sep-2011 01:33                5032
minisat2_2.2.1-3_armhf.deb                         28-Nov-2011 00:01                5046
minisat2_2.2.1-3_i386.deb                          03-Sep-2011 23:34                5032
minisat2_2.2.1-3_ia64.deb                          04-Sep-2011 00:47                5032
minisat2_2.2.1-3_kfreebsd-amd64.deb                04-Sep-2011 00:17                5038
minisat2_2.2.1-3_kfreebsd-i386.deb                 04-Sep-2011 00:32                5034
minisat2_2.2.1-3_mips.deb                          04-Sep-2011 00:18                5030
minisat2_2.2.1-3_mipsel.deb                        04-Sep-2011 00:32                5026
minisat2_2.2.1-3_powerpc.deb                       04-Sep-2011 00:32                5036
minisat2_2.2.1-3_s390.deb                          04-Sep-2011 00:03                5034
minisat2_2.2.1-3_s390x.deb                         26-Nov-2011 23:45                5038
minisat2_2.2.1-3_sparc.deb                         04-Sep-2011 01:04                5040
minisat2_2.2.1-5+b1_s390x.deb                      27-Aug-2014 00:00                5320
minisat2_2.2.1-5+b3_amd64.deb                      07-Mar-2017 11:27                5258
minisat2_2.2.1-5+b3_arm64.deb                      07-Mar-2017 11:11                5250
minisat2_2.2.1-5+b3_armel.deb                      07-Mar-2017 12:13                5244
minisat2_2.2.1-5+b3_armhf.deb                      07-Mar-2017 11:57                5254
minisat2_2.2.1-5+b3_i386.deb                       07-Mar-2017 11:27                5258
minisat2_2.2.1-5+b3_mips.deb                       07-Mar-2017 11:27                5244
minisat2_2.2.1-5+b3_mips64el.deb                   07-Mar-2017 12:13                5260
minisat2_2.2.1-5+b3_mipsel.deb                     07-Mar-2017 12:44                5252
minisat2_2.2.1-5+b3_ppc64el.deb                    07-Mar-2017 11:27                5264
minisat2_2.2.1-5+b3_s390x.deb                      07-Mar-2017 11:27                5246
minisat2_2.2.1-5.debian.tar.xz                     30-Jul-2014 10:01                9348
minisat2_2.2.1-5.dsc                               30-Jul-2014 10:01                1893
minisat2_2.2.1-5_amd64.deb                         30-Jul-2014 10:27                5038
minisat2_2.2.1-5_arm64.deb                         18-Aug-2014 09:43                5038
minisat2_2.2.1-5_armel.deb                         30-Jul-2014 11:12                5038
minisat2_2.2.1-5_armhf.deb                         30-Jul-2014 10:27                5034
minisat2_2.2.1-5_i386.deb                          30-Jul-2014 10:01                5022
minisat2_2.2.1-5_kfreebsd-amd64.deb                30-Jul-2014 10:32                5038
minisat2_2.2.1-5_kfreebsd-i386.deb                 30-Jul-2014 10:32                5050
minisat2_2.2.1-5_mips.deb                          30-Jul-2014 11:57                5038
minisat2_2.2.1-5_mipsel.deb                        30-Jul-2014 11:12                5054
minisat2_2.2.1-5_powerpc.deb                       30-Jul-2014 10:27                5052
minisat2_2.2.1-5_ppc64el.deb                       20-Aug-2014 08:46                5038
minisat2_2.2.1.orig.tar.gz                         29-Mar-2011 14:07               44229
minisat_2.2.1-3_amd64.deb                          04-Sep-2011 00:03              130458
minisat_2.2.1-3_armel.deb                          04-Sep-2011 01:33              128094
minisat_2.2.1-3_armhf.deb                          28-Nov-2011 00:01              124916
minisat_2.2.1-3_i386.deb                           03-Sep-2011 23:34              129100
minisat_2.2.1-3_ia64.deb                           04-Sep-2011 00:47              186404
minisat_2.2.1-3_kfreebsd-amd64.deb                 04-Sep-2011 00:17              128712
minisat_2.2.1-3_kfreebsd-i386.deb                  04-Sep-2011 00:32              127988
minisat_2.2.1-3_mips.deb                           04-Sep-2011 00:18              135240
minisat_2.2.1-3_mipsel.deb                         04-Sep-2011 00:32              135092
minisat_2.2.1-3_powerpc.deb                        04-Sep-2011 00:32              134294
minisat_2.2.1-3_s390.deb                           04-Sep-2011 00:03              132980
minisat_2.2.1-3_s390x.deb                          26-Nov-2011 23:45              146694
minisat_2.2.1-3_sparc.deb                          04-Sep-2011 01:04              128506
minisat_2.2.1-5+b1_s390x.deb                       27-Aug-2014 00:00               93722
minisat_2.2.1-5+b3_amd64.deb                       07-Mar-2017 11:27               84904
minisat_2.2.1-5+b3_arm64.deb                       07-Mar-2017 11:11               81934
minisat_2.2.1-5+b3_armel.deb                       07-Mar-2017 12:13               79124
minisat_2.2.1-5+b3_armhf.deb                       07-Mar-2017 11:57               77816
minisat_2.2.1-5+b3_i386.deb                        07-Mar-2017 11:27               93386
minisat_2.2.1-5+b3_mips.deb                        07-Mar-2017 11:27               90430
minisat_2.2.1-5+b3_mips64el.deb                    07-Mar-2017 12:13               90918
minisat_2.2.1-5+b3_mipsel.deb                      07-Mar-2017 12:44               91110
minisat_2.2.1-5+b3_ppc64el.deb                     07-Mar-2017 11:27               88496
minisat_2.2.1-5+b3_s390x.deb                       07-Mar-2017 11:27               83218
minisat_2.2.1-5_amd64.deb                          30-Jul-2014 10:27               85572
minisat_2.2.1-5_arm64.deb                          18-Aug-2014 09:43               83908
minisat_2.2.1-5_armel.deb                          30-Jul-2014 11:12               79680
minisat_2.2.1-5_armhf.deb                          30-Jul-2014 10:27               80010
minisat_2.2.1-5_i386.deb                           30-Jul-2014 10:01               98652
minisat_2.2.1-5_kfreebsd-amd64.deb                 30-Jul-2014 10:32               84494
minisat_2.2.1-5_kfreebsd-i386.deb                  30-Jul-2014 10:32               97724
minisat_2.2.1-5_mips.deb                           30-Jul-2014 11:57               86938
minisat_2.2.1-5_mipsel.deb                         30-Jul-2014 11:12               86842
minisat_2.2.1-5_powerpc.deb                        30-Jul-2014 10:27               89736
minisat_2.2.1-5_ppc64el.deb                        20-Aug-2014 08:46               88126