Index of /pool/universe/m/minisat+

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]minisat+_1.0-2.debian.tar.gz2011-11-12 09:20 3.9K
[   ]minisat+_1.0-2.dsc2011-11-12 09:20 1.2K
[   ]minisat+_1.0-2_arm64.deb2013-10-20 06:28 172K
[   ]minisat+_1.0-2_armel.deb2011-11-12 12:15 141K
[   ]minisat+_1.0-2_armhf.deb2011-12-07 13:04 141K
[   ]minisat+_1.0-2_powerpc.deb2011-11-13 07:03 169K
[   ]minisat+_1.0-2_ppc64el.deb2014-02-19 10:28 147K
[   ]minisat+_1.0-2_s390x.deb2015-12-05 01:47 147K
[   ]minisat+_1.0-4.debian.tar.xz2017-04-29 23:58 4.1K
[   ]minisat+_1.0-4.dsc2017-04-29 23:58 1.9K
[   ]minisat+_1.0-4_arm64.deb2017-04-30 02:36 132K
[   ]minisat+_1.0-4_armhf.deb2017-04-30 02:37 122K
[   ]minisat+_1.0-4_ppc64el.deb2017-04-30 01:30 146K
[   ]minisat+_1.0-4_s390x.deb2017-04-30 01:32 146K
[   ]minisat+_1.0.orig.tar.gz2011-11-12 09:20 78K

Apache/2.4.18 (Ubuntu) Server at ports.ubuntu.com Port 80