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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
minisat+_1.0-2.debian.tar.gz2011-Nov-12 10:20:283.8Kapplication/x-gzip
minisat+_1.0-2.dsc2011-Nov-12 10:20:281.2Kapplication/octet-stream
minisat+_1.0-2_amd64.deb2011-Nov-12 13:12:54176.3Kapplication/octet-stream
minisat+_1.0-2_i386.deb2011-Nov-12 13:16:32168.0Kapplication/octet-stream
minisat+_1.0-3.debian.tar.xz2016-Dec-20 00:28:464.0Kapplication/octet-stream
minisat+_1.0-3.dsc2016-Dec-20 00:28:461.9Kapplication/octet-stream
minisat+_1.0-3_amd64.deb2016-Dec-20 00:38:49154.8Kapplication/octet-stream
minisat+_1.0-3_i386.deb2016-Dec-20 00:39:13145.8Kapplication/octet-stream
minisat+_1.0.orig.tar.gz2011-Nov-12 10:20:2878.1Kapplication/x-gzip
ISPpro Internet KG isppro.de | euserv.de | kos-online.de | keepfree.de