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

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