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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]minisat+_1.0-2.debia..>2011-05-25 06:20 3.9K 
[TXT]minisat+_1.0-2.dsc 2011-05-25 06:20 1.2K 
[ ]minisat+_1.0-2_amd64..>2011-05-25 06:20 176K 
[ ]minisat+_1.0-2_arm64..>2014-08-18 14:13 131K 
[ ]minisat+_1.0-2_armel..>2011-05-25 11:44 155K 
[ ]minisat+_1.0-2_armhf..>2011-11-28 03:51 142K 
[ ]minisat+_1.0-2_i386.deb2011-05-25 12:19 170K 
[ ]minisat+_1.0-2_ia64.deb2011-05-27 21:55 274K 
[ ]minisat+_1.0-2_kfree..>2011-05-25 18:04 176K 
[ ]minisat+_1.0-2_kfree..>2011-05-25 18:19 170K 
[ ]minisat+_1.0-2_mips.deb2011-05-25 11:46 165K 
[ ]minisat+_1.0-2_mipse..>2011-05-28 01:40 166K 
[ ]minisat+_1.0-2_power..>2011-05-25 11:50 169K 
[ ]minisat+_1.0-2_ppc64..>2014-08-20 13:11 143K 
[ ]minisat+_1.0-2_s390.deb2011-05-25 13:56 167K 
[ ]minisat+_1.0-2_s390x..>2011-11-27 03:15 178K 
[ ]minisat+_1.0-2_sparc..>2011-05-25 19:41 150K 
[ ]minisat+_1.0-3.debia..>2016-12-19 22:53 4.0K 
[TXT]minisat+_1.0-3.dsc 2016-12-19 22:53 1.9K 
[ ]minisat+_1.0-3_amd64..>2016-12-19 23:28 155K 
[ ]minisat+_1.0-3_arm64..>2016-12-19 23:28 131K 
[ ]minisat+_1.0-3_armel..>2016-12-19 23:28 127K 
[ ]minisat+_1.0-3_armhf..>2016-12-19 23:28 130K 
[ ]minisat+_1.0-3_i386.deb2016-12-19 23:28 156K 
[ ]minisat+_1.0-3_mips.deb2016-12-19 23:28 139K 
[ ]minisat+_1.0-3_mips6..>2016-12-19 23:28 144K 
[ ]minisat+_1.0-3_mipse..>2016-12-19 23:28 141K 
[ ]minisat+_1.0-3_ppc64..>2016-12-19 23:28 145K 
[ ]minisat+_1.0-3_s390x..>2016-12-19 23:28 143K 
[ ]minisat+_1.0.orig.ta..>2011-05-14 16:32 78K