Name Last modified Size DescriptionMicrosoft-IIS/10.0 Server at ftp.twaren.net Port 80
Parent Directory - minisat+_1.0-2.debian.tar.gz 12-Nov-2011 17:20 3.9K minisat+_1.0-2.dsc 12-Nov-2011 17:20 1.2K minisat+_1.0.orig.tar.gz 12-Nov-2011 17:20 78K minisat+_1.0-2_amd64.deb 12-Nov-2011 20:12 176K minisat+_1.0-2_i386.deb 12-Nov-2011 20:16 168K