Index of /ubuntu/pool/universe/m/minisat+/

Name Last Modified Size Type
Parent Directory  Directory
minisat+_1.0-2.debian.tar.gz2011-Nov-12 04:20:283.9K application/x-gzip
minisat+_1.0-2.dsc2011-Nov-12 04:20:281.2K application/octet-stream
minisat+_1.0-2_amd64.deb2011-Nov-12 07:12:54176.3K application/octet-stream
minisat+_1.0-2_i386.deb2011-Nov-12 07:16:32168.1K application/octet-stream
minisat+_1.0.orig.tar.gz2011-Nov-12 04:20:2878.1K application/x-gzip