Index of /old-ubuntu/pool/universe/m/minisat+/
../
minisat+_1.0-2_amd64.deb
12-Nov-2011 12:12 176K
minisat+_1.0-2_i386.deb
12-Nov-2011 12:16 168K