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_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-4build1.debian.tar.xz2020-03-22 17:10 4.2K
[   ]minisat+_1.0-4build1.dsc2020-03-22 17:10 2.0K
[   ]minisat+_1.0-4build1_arm64.deb2020-03-22 20:56 124K
[   ]minisat+_1.0-4build1_armhf.deb2020-03-22 20:56 117K
[   ]minisat+_1.0-4build1_ppc64el.deb2020-03-22 21:18 146K
[   ]minisat+_1.0-4build1_riscv64.deb2020-04-03 10:14 137K
[   ]minisat+_1.0-4build1_s390x.deb2020-03-22 20:31 155K
[   ]minisat+_1.0-5.debian.tar.xz2024-10-31 19:11 4.3K
[   ]minisat+_1.0-5.dsc2024-10-31 19:11 1.9K
[   ]minisat+_1.0-5_arm64.deb2024-10-31 21:11 153K
[   ]minisat+_1.0-5_armhf.deb2024-10-31 21:20 144K
[   ]minisat+_1.0-5_ppc64el.deb2024-11-01 01:09 169K
[   ]minisat+_1.0-5_riscv64.deb2024-11-01 12:36 164K
[   ]minisat+_1.0-5_s390x.deb2024-10-31 21:34 189K
[   ]minisat+_1.0.orig.tar.gz2011-11-12 09:20 78K

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