Studenten Net Twente Mirror service

Index of /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_armel.deb 78 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+b3_mips64el.deb 81 KiB
cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb 83 KiB
cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb 90 KiB
cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb 81 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.15+dfsg1-1+b2_amd64.deb 79 KiB
cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb 72 KiB
cryptominisat_5.11.15+dfsg1-1+b2_armel.deb 70 KiB
cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb 71 KiB
cryptominisat_5.11.15+dfsg1-1+b2_i386.deb 82 KiB
cryptominisat_5.11.15+dfsg1-1+b2_mips64el.deb 73 KiB
cryptominisat_5.11.15+dfsg1-1+b2_ppc64el.deb 80 KiB
cryptominisat_5.11.15+dfsg1-1+b2_s390x.deb 77 KiB
cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz 5608 B
cryptominisat_5.11.15+dfsg1-1.1.dsc 2510 B
cryptominisat_5.11.15+dfsg1-1.1_amd64.deb 79 KiB
cryptominisat_5.11.15+dfsg1-1.1_arm64.deb 72 KiB
cryptominisat_5.11.15+dfsg1-1.1_armel.deb 70 KiB
cryptominisat_5.11.15+dfsg1-1.1_armhf.deb 71 KiB
cryptominisat_5.11.15+dfsg1-1.1_i386.deb 82 KiB
cryptominisat_5.11.15+dfsg1-1.1_mips64el.deb 73 KiB
cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb 80 KiB
cryptominisat_5.11.15+dfsg1-1.1_riscv64.deb 78 KiB
cryptominisat_5.11.15+dfsg1-1.1_s390x.deb 76 KiB
cryptominisat_5.11.15+dfsg1-1.debian.tar.xz 5400 B
cryptominisat_5.11.15+dfsg1-1.dsc 2470 B
cryptominisat_5.11.15+dfsg1.orig.tar.xz 464 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_armel.deb 366 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.8_5.8.0+dfsg1-1+b3_mips64el.deb 389 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mipsel.deb 405 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb 445 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_s390x.deb 372 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.11_5.11.15+dfsg1-1+b2_amd64.deb 494 KiB
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_arm64.deb 449 KiB
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armel.deb 439 KiB
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armhf.deb 457 KiB
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_i386.deb 519 KiB
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_mips64el.deb 466 KiB
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_ppc64el.deb 534 KiB
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_s390x.deb 529 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_amd64.deb 494 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_arm64.deb 449 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armel.deb 439 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armhf.deb 457 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_i386.deb 519 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_mips64el.deb 466 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_ppc64el.deb 534 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_riscv64.deb 527 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_s390x.deb 529 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_armel.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.8.0+dfsg1-1+b3_mips64el.deb 14 KiB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb 14 KiB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb 14 KiB
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.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.15+dfsg1-1+b2_amd64.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_arm64.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armel.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armhf.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_i386.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_mips64el.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_ppc64el.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_s390x.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1_amd64.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1_arm64.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1_armel.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1_armhf.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1_i386.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1_mips64el.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1_ppc64el.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1_riscv64.deb 18 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1_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_armel.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.8.0+dfsg1-1+b3_mips64el.deb 19 KiB
python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb 19 KiB
python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb 20 KiB
python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb 18 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.15+dfsg1-1+b2_amd64.deb 516 KiB
python3-cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb 478 KiB
python3-cryptominisat_5.11.15+dfsg1-1+b2_armel.deb 460 KiB
python3-cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb 470 KiB
python3-cryptominisat_5.11.15+dfsg1-1+b2_i386.deb 572 KiB
python3-cryptominisat_5.11.15+dfsg1-1+b2_mips64el.deb 489 KiB
python3-cryptominisat_5.11.15+dfsg1-1+b2_ppc64el.deb 552 KiB
python3-cryptominisat_5.11.15+dfsg1-1+b2_s390x.deb 551 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1_amd64.deb 516 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1_arm64.deb 477 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1_armel.deb 462 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1_armhf.deb 471 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1_i386.deb 571 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1_mips64el.deb 489 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb 552 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1_riscv64.deb 544 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1_s390x.deb 550 KiB