Folder Path

/ubuntu-ports/pool/universe/c/cryptominisat/

0 directories 69 files 15 MiB total
List Grid
Name
Size Modified
Up
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz
5.6 KiB
cryptominisat_5.11.15+dfsg1-1.1build1.dsc
2.6 KiB
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb
77 KiB
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb
78 KiB
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb
84 KiB
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb
84 KiB
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb
83 KiB
cryptominisat_5.11.15+dfsg1.orig.tar.xz
464 KiB
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
6.5 KiB
cryptominisat_5.11.21+dfsg1-1.dsc
2.4 KiB
cryptominisat_5.11.21+dfsg1-1_arm64.deb
84 KiB
cryptominisat_5.11.21+dfsg1-1_armhf.deb
86 KiB
cryptominisat_5.11.21+dfsg1-1_ppc64el.deb
93 KiB
cryptominisat_5.11.21+dfsg1-1_riscv64.deb
94 KiB
cryptominisat_5.11.21+dfsg1-1_s390x.deb
94 KiB
cryptominisat_5.11.21+dfsg1.orig.tar.xz
470 KiB
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz
6.1 KiB
cryptominisat_5.8.0+dfsg1-2.dsc
2.4 KiB
cryptominisat_5.8.0+dfsg1-2_arm64.deb
87 KiB
cryptominisat_5.8.0+dfsg1-2_armhf.deb
87 KiB
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb
97 KiB
cryptominisat_5.8.0+dfsg1-2_riscv64.deb
94 KiB
cryptominisat_5.8.0+dfsg1-2_s390x.deb
88 KiB
cryptominisat_5.8.0+dfsg1.orig.tar.xz
441 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb
425 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb
510 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb
492 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb
573 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_s390x.deb
497 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb
426 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb
501 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64el.deb
490 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv64.deb
572 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x.deb
495 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb
366 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb
416 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb
462 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb
449 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb
365 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb
17 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb
17 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb
17 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb
17 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s390x.deb
17 KiB
libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb
17 KiB
libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb
17 KiB
libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb
17 KiB
libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb
17 KiB
libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb
17 KiB
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb
13 KiB
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb
13 KiB
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb
13 KiB
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb
13 KiB
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb
13 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb
507 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb
512 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb
620 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb
593 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb
580 KiB
python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb
508 KiB
python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb
511 KiB
python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb
613 KiB
python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb
592 KiB
python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb
573 KiB
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb
19 KiB
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb
18 KiB
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb
20 KiB
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb
19 KiB
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb
19 KiB