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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minisat+_1.0-2_ia64.deb2011-05-27 12:25 274K 
[   ]minisat+_1.0-2_s390x.deb2011-11-26 17:45 178K 
[   ]minisat+_1.0-2_kfreebsd-amd64.deb2011-05-25 08:34 176K 
[   ]minisat+_1.0-2_amd64.deb2011-05-24 20:50 176K 
[   ]minisat+_1.0-2_i386.deb2011-05-25 02:49 170K 
[   ]minisat+_1.0-2_kfreebsd-i386.deb2011-05-25 08:49 170K 
[   ]minisat+_1.0-2_powerpc.deb2011-05-25 02:20 169K 
[   ]minisat+_1.0-2_s390.deb2011-05-25 04:26 167K 
[   ]minisat+_1.0-2_mipsel.deb2011-05-27 16:10 166K 
[   ]minisat+_1.0-2_mips.deb2011-05-25 02:16 165K 
[   ]minisat+_1.0-2_armel.deb2011-05-25 02:14 155K 
[   ]minisat+_1.0-2_sparc.deb2011-05-25 10:11 150K 
[   ]minisat+_1.0-2_ppc64el.deb2014-08-20 03:41 143K 
[   ]minisat+_1.0-2_armhf.deb2011-11-27 18:21 142K 
[   ]minisat+_1.0-2_arm64.deb2014-08-18 04:43 131K 
[   ]minisat+_1.0.orig.tar.gz2011-05-14 07:02 78K 
[   ]minisat+_1.0-2.debian.tar.gz2011-05-24 20:50 3.9K 
[   ]minisat+_1.0-2.dsc2011-05-24 20:50 1.2K