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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]minisat+_1.0-5_s390x.deb2024-10-31 21:34 189K 
[ ]minisat+_1.0-2_arm64.deb2013-10-20 06:28 172K 
[ ]minisat+_1.0-2_powerpc.deb2011-11-13 07:03 169K 
[ ]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-4build1_s390x.deb2020-03-22 20:31 155K 
[ ]minisat+_1.0-5_arm64.deb2024-10-31 21:11 153K 
[ ]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-4build1_ppc64el.deb2020-03-22 21:18 146K 
[ ]minisat+_1.0-4_s390x.deb2017-04-30 01:32 146K 
[ ]minisat+_1.0-4_ppc64el.deb2017-04-30 01:30 146K 
[ ]minisat+_1.0-5_armhf.deb2024-10-31 21:20 144K 
[ ]minisat+_1.0-2_armhf.deb2011-12-07 13:04 141K 
[ ]minisat+_1.0-4build1_riscv64.deb2020-04-03 10:14 137K 
[ ]minisat+_1.0-4_arm64.deb2017-04-30 02:36 132K 
[ ]minisat+_1.0-4build1_arm64.deb2020-03-22 20:56 124K 
[ ]minisat+_1.0-4_armhf.deb2017-04-30 02:37 122K 
[ ]minisat+_1.0-4build1_armhf.deb2020-03-22 20:56 117K 
[ ]minisat+_1.0.orig.tar.gz2011-11-12 09:20 78K 
[ ]minisat+_1.0-5.debian.tar.xz2024-10-31 19:11 4.3KDebian Linux
[ ]minisat+_1.0-4build1.debian.tar.xz2020-03-22 17:10 4.2KDebian Linux
[ ]minisat+_1.0-4.debian.tar.xz2017-04-29 23:58 4.1KDebian Linux
[ ]minisat+_1.0-2.debian.tar.gz2011-11-12 09:20 3.9KDebian Linux
[TXT]minisat+_1.0-4build1.dsc2020-03-22 17:10 2.0K 
[TXT]minisat+_1.0-4.dsc2017-04-29 23:58 1.9K 
[TXT]minisat+_1.0-5.dsc2024-10-31 19:11 1.9K 
[TXT]minisat+_1.0-2.dsc2011-11-12 09:20 1.2K