Studenten Net Twente Mirror service

Index of /pub/linux/debian/pool/main/c/cryptominisat/

Filename Modification time Size
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 86 KiB
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 81 KiB
cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb 80 KiB
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb 91 KiB
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz 6188 B
cryptominisat_5.8.0+dfsg1-1.dsc 2408 B
cryptominisat_5.8.0+dfsg1.orig.tar.xz 441 KiB
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 75 KiB
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 69 KiB
cryptominisat_5.11.4+dfsg1-2+b1_armel.deb 66 KiB
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb 67 KiB
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb 79 KiB
cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb 70 KiB
cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb 71 KiB
cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb 77 KiB
cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb 69 KiB
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz 5360 B
cryptominisat_5.11.4+dfsg1-2.dsc 2459 B
cryptominisat_5.11.4+dfsg1.orig.tar.xz 518 KiB
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz 6696 B
cryptominisat_5.11.21+dfsg1-2.dsc 2519 B
cryptominisat_5.11.21+dfsg1-2_amd64.deb 89 KiB
cryptominisat_5.11.21+dfsg1-2_arm64.deb 79 KiB
cryptominisat_5.11.21+dfsg1-2_armel.deb 79 KiB
cryptominisat_5.11.21+dfsg1-2_armhf.deb 82 KiB
cryptominisat_5.11.21+dfsg1-2_i386.deb 95 KiB
cryptominisat_5.11.21+dfsg1-2_ppc64el.deb 89 KiB
cryptominisat_5.11.21+dfsg1-2_riscv64.deb 87 KiB
cryptominisat_5.11.21+dfsg1-2_s390x.deb 86 KiB
cryptominisat_5.11.21+dfsg1-3.debian.tar.xz 7020 B
cryptominisat_5.11.21+dfsg1-3.dsc 2505 B
cryptominisat_5.11.21+dfsg1-3_amd64.deb 89 KiB
cryptominisat_5.11.21+dfsg1-3_arm64.deb 79 KiB
cryptominisat_5.11.21+dfsg1-3_armel.deb 79 KiB
cryptominisat_5.11.21+dfsg1-3_armhf.deb 81 KiB
cryptominisat_5.11.21+dfsg1-3_i386.deb 95 KiB
cryptominisat_5.11.21+dfsg1-3_mips64el.deb 83 KiB
cryptominisat_5.11.21+dfsg1-3_ppc64el.deb 89 KiB
cryptominisat_5.11.21+dfsg1-3_riscv64.deb 87 KiB
cryptominisat_5.11.21+dfsg1-3_s390x.deb 86 KiB
cryptominisat_5.11.21+dfsg1.orig.tar.xz 470 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb 406 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb 370 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb 376 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb 432 KiB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb 490 KiB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb 440 KiB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb 432 KiB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb 450 KiB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb 516 KiB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb 463 KiB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb 477 KiB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb 530 KiB
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb 449 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb 509 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb 461 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armel.deb 443 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb 463 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb 536 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb 543 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv64.deb 534 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb 534 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64.deb 509 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_arm64.deb 461 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_armel.deb 443 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_armhf.deb 463 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_i386.deb 535 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_mips64el.deb 473 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_ppc64el.deb 543 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_riscv64.deb 534 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_s390x.deb 534 KiB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb 14 KiB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb 14 KiB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb 14 KiB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb 14 KiB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb 18 KiB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb 18 KiB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb 18 KiB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb 18 KiB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb 18 KiB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb 18 KiB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb 18 KiB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb 18 KiB
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-2_armel.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-3_amd64.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-3_arm64.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-3_armel.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-3_armhf.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-3_i386.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-3_mips64el.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-3_ppc64el.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-3_riscv64.deb 18 KiB
libcryptominisat5-dev_5.11.21+dfsg1-3_s390x.deb 18 KiB
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 19 KiB
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 18 KiB
python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb 18 KiB
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb 19 KiB
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 520 KiB
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 479 KiB
python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb 462 KiB
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb 473 KiB
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb 576 KiB
python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb 494 KiB
python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb 511 KiB
python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb 556 KiB
python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb 483 KiB
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb 583 KiB
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb 535 KiB
python3-cryptominisat_5.11.21+dfsg1-2_armel.deb 516 KiB
python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb 529 KiB
python3-cryptominisat_5.11.21+dfsg1-2_i386.deb 640 KiB
python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb 612 KiB
python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb 606 KiB
python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb 603 KiB
python3-cryptominisat_5.11.21+dfsg1-3_amd64.deb 583 KiB
python3-cryptominisat_5.11.21+dfsg1-3_arm64.deb 535 KiB
python3-cryptominisat_5.11.21+dfsg1-3_armel.deb 516 KiB
python3-cryptominisat_5.11.21+dfsg1-3_armhf.deb 529 KiB
python3-cryptominisat_5.11.21+dfsg1-3_i386.deb 640 KiB
python3-cryptominisat_5.11.21+dfsg1-3_mips64el.deb 545 KiB
python3-cryptominisat_5.11.21+dfsg1-3_ppc64el.deb 612 KiB
python3-cryptominisat_5.11.21+dfsg1-3_riscv64.deb 607 KiB
python3-cryptominisat_5.11.21+dfsg1-3_s390x.deb 603 KiB