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

Name Last Modified Size Type
Parent Directory  Directory
minisat+_1.0-3.debian.tar.xz2016-Dec-19 18:28:464K application/octet-stream
minisat+_1.0-3.dsc2016-Dec-19 18:28:461.9K application/octet-stream
minisat+_1.0-3_amd64.deb2016-Dec-19 18:38:49154.9K application/octet-stream
minisat+_1.0-3_i386.deb2016-Dec-19 18:39:13145.8K application/octet-stream