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

 Name                                Last modified      Size  
 Parent Directory                                         -   
 minisat+_1.0-2.debian.tar.gz        2011-05-24 20:50  3.9K  
 minisat+_1.0-2.dsc                  2011-05-24 20:50  1.2K  
 minisat+_1.0-2_amd64.deb            2011-05-24 20:50  176K  
 minisat+_1.0-2_arm64.deb            2014-08-18 04:43  131K  
 minisat+_1.0-2_armel.deb            2011-05-25 02:14  155K  
 minisat+_1.0-2_armhf.deb            2011-11-27 18:21  142K  
 minisat+_1.0-2_i386.deb             2011-05-25 02:49  170K  
 minisat+_1.0-2_ia64.deb             2011-05-27 12:25  274K  
 minisat+_1.0-2_kfreebsd-amd64.deb   2011-05-25 08:34  176K  
 minisat+_1.0-2_kfreebsd-i386.deb    2011-05-25 08:49  170K  
 minisat+_1.0-2_mips.deb             2011-05-25 02:16  165K  
 minisat+_1.0-2_mipsel.deb           2011-05-27 16:10  166K  
 minisat+_1.0-2_powerpc.deb          2011-05-25 02:20  169K  
 minisat+_1.0-2_ppc64el.deb          2014-08-20 03:41  143K  
 minisat+_1.0-2_s390.deb             2011-05-25 04:26  167K  
 minisat+_1.0-2_s390x.deb            2011-11-26 17:45  178K  
 minisat+_1.0-2_sparc.deb            2011-05-25 10:11  150K  
 minisat+_1.0-3.debian.tar.xz        2016-12-19 13:23  4.0K  
 minisat+_1.0-3.dsc                  2016-12-19 13:23  1.9K  
 minisat+_1.0-3_amd64.deb            2016-12-19 13:58  155K  
 minisat+_1.0-3_arm64.deb            2016-12-19 13:58  131K  
 minisat+_1.0-3_armel.deb            2016-12-19 13:58  127K  
 minisat+_1.0-3_armhf.deb            2016-12-19 13:58  130K  
 minisat+_1.0-3_i386.deb             2016-12-19 13:58  156K  
 minisat+_1.0-3_mips.deb             2016-12-19 13:58  139K  
 minisat+_1.0-3_mips64el.deb         2016-12-19 13:58  144K  
 minisat+_1.0-3_mipsel.deb           2016-12-19 13:58  141K  
 minisat+_1.0-3_ppc64el.deb          2016-12-19 13:58  145K  
 minisat+_1.0-3_s390x.deb            2016-12-19 13:58  143K  
 minisat+_1.0-4.debian.tar.xz        2017-02-22 14:22  4.1K  
 minisat+_1.0-4.dsc                  2017-02-22 14:22  1.9K  
 minisat+_1.0-4_amd64.deb            2017-02-22 15:12  155K  
 minisat+_1.0-4_arm64.deb            2017-02-22 15:12  131K  
 minisat+_1.0-4_armel.deb            2017-02-22 15:12  127K  
 minisat+_1.0-4_armhf.deb            2017-02-22 15:12  131K  
 minisat+_1.0-4_i386.deb             2017-02-22 15:12  156K  
 minisat+_1.0-4_mips.deb             2017-02-22 15:12  139K  
 minisat+_1.0-4_mips64el.deb         2017-02-22 15:28  144K  
 minisat+_1.0-4_mipsel.deb           2017-02-22 15:43  141K  
 minisat+_1.0-4_ppc64el.deb          2017-02-22 15:12  145K  
 minisat+_1.0-4_s390x.deb            2017-02-22 15:12  143K  
 minisat+_1.0.orig.tar.gz            2011-05-14 07:02   78K