ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/c/cryptominisat/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cryptominisat_5.8.0+dfsg1-1.dsc 240811-Jul-2020 18:16
cryptominisat_5.11.4+dfsg1-2.dsc 245903-Nov-2022 23:09
cryptominisat_5.11.15+dfsg1-1.dsc 247014-Dec-2023 13:37
cryptominisat_5.11.15+dfsg1-1.1.dsc 251028-Feb-2024 03:23
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz 536003-Nov-2022 23:09
cryptominisat_5.11.15+dfsg1-1.debian.tar.xz 540014-Dec-2023 13:37
cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz 560828-Feb-2024 03:23
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz 618811-Jul-2020 18:16
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb 14K13-Dec-2020 14:56
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb 14K12-Dec-2020 16:00
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb 14K12-Dec-2020 19:26
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb 14K12-Dec-2020 18:39
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb 14K13-Dec-2020 01:57
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb 14K13-Dec-2020 03:25
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb 14K12-Dec-2020 17:11
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb 14K12-Dec-2020 20:28
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb 14K12-Dec-2020 18:13
python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb 18K12-Dec-2020 17:11
python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb 18K12-Dec-2020 19:26
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb 18K03-Jan-2023 10:59
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb 18K06-Jan-2023 04:56
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb 18K03-Jan-2023 11:45
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb 18K05-Jan-2023 03:55
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb 18K03-Jan-2023 10:43
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb 18K03-Jan-2023 10:58
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb 18K03-Jan-2023 10:58
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb 18K03-Jan-2023 10:27
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb 18K03-Jan-2023 10:12
libcryptominisat5-dev_5.11.15+dfsg1-1.1_amd64.deb 18K28-Feb-2024 03:54
libcryptominisat5-dev_5.11.15+dfsg1-1.1_arm64.deb 18K28-Feb-2024 04:04
libcryptominisat5-dev_5.11.15+dfsg1-1.1_armel.deb 18K28-Feb-2024 04:04
libcryptominisat5-dev_5.11.15+dfsg1-1.1_i386.deb 18K28-Feb-2024 03:54
libcryptominisat5-dev_5.11.15+dfsg1-1.1_riscv64.deb 18K28-Feb-2024 05:26
libcryptominisat5-dev_5.11.15+dfsg1-1.1_s390x.deb 18K28-Feb-2024 03:49
libcryptominisat5-dev_5.11.15+dfsg1-1.1_armhf.deb 18K28-Feb-2024 03:54
libcryptominisat5-dev_5.11.15+dfsg1-1.1_ppc64el.deb 18K28-Feb-2024 03:54
libcryptominisat5-dev_5.11.15+dfsg1-1.1_mips64el.deb 18K28-Feb-2024 04:20
python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb 18K13-Dec-2020 01:57
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 18K12-Dec-2020 16:00
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armel.deb 18K06-Jan-2024 02:19
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_i386.deb 18K06-Jan-2024 02:24
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armhf.deb 18K06-Jan-2024 01:18
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_arm64.deb 18K05-Jan-2024 23:40
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_s390x.deb 18K06-Jan-2024 10:38
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_ppc64el.deb 18K06-Jan-2024 00:40
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_amd64.deb 18K06-Jan-2024 01:41
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_mips64el.deb 18K06-Jan-2024 03:07
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 19K12-Dec-2020 18:13
python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb 19K13-Dec-2020 14:56
python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb 19K13-Dec-2020 03:25
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb 19K12-Dec-2020 18:39
python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb 20K12-Dec-2020 20:28
cryptominisat_5.11.4+dfsg1-2+b1_armel.deb 66K03-Jan-2023 10:59
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb 67K03-Jan-2023 10:58
cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb 69K06-Jan-2023 04:56
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 69K03-Jan-2023 10:58
cryptominisat_5.11.15+dfsg1-1.1_armel.deb 70K28-Feb-2024 04:04
cryptominisat_5.11.15+dfsg1-1+b2_armel.deb 70K06-Jan-2024 02:19
cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb 70K03-Jan-2023 10:12
cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb 71K06-Jan-2024 01:18
cryptominisat_5.11.15+dfsg1-1.1_armhf.deb 71K28-Feb-2024 03:54
cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb 71K03-Jan-2023 10:43
cryptominisat_5.11.15+dfsg1-1.1_arm64.deb 72K28-Feb-2024 04:04
cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb 72K05-Jan-2024 23:40
cryptominisat_5.11.15+dfsg1-1.1_mips64el.deb 73K28-Feb-2024 04:20
cryptominisat_5.11.15+dfsg1-1+b2_mips64el.deb 73K06-Jan-2024 03:07
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 75K03-Jan-2023 10:27
cryptominisat_5.11.15+dfsg1-1.1_s390x.deb 76K28-Feb-2024 03:49
cryptominisat_5.11.15+dfsg1-1+b2_s390x.deb 77K06-Jan-2024 10:38
cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb 77K05-Jan-2023 03:55
cryptominisat_5.8.0+dfsg1-1+b3_armel.deb 78K12-Dec-2020 17:11
cryptominisat_5.11.15+dfsg1-1.1_riscv64.deb 78K28-Feb-2024 05:26
cryptominisat_5.11.15+dfsg1-1.1_amd64.deb 79K28-Feb-2024 03:54
cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb 79K06-Jan-2024 01:41
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb 79K03-Jan-2023 11:45
cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb 80K28-Feb-2024 03:54
cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb 80K12-Dec-2020 19:26
cryptominisat_5.11.15+dfsg1-1+b2_ppc64el.deb 80K06-Jan-2024 00:40
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 81K12-Dec-2020 16:00
cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb 81K13-Dec-2020 03:25
cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb 81K13-Dec-2020 01:57
cryptominisat_5.11.15+dfsg1-1.1_i386.deb 82K28-Feb-2024 03:54
cryptominisat_5.11.15+dfsg1-1+b2_i386.deb 82K06-Jan-2024 02:24
cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb 83K13-Dec-2020 14:56
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 86K12-Dec-2020 18:13
cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb 90K12-Dec-2020 20:28
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb 91K12-Dec-2020 18:39
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armel.deb 366K12-Dec-2020 17:11
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb 370K12-Dec-2020 16:00
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_s390x.deb 372K13-Dec-2020 01:57
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb 376K12-Dec-2020 19:26
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mips64el.deb 389K13-Dec-2020 03:25
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mipsel.deb 405K13-Dec-2020 14:56
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb 406K12-Dec-2020 18:13
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb 432K12-Dec-2020 18:39
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb 432K03-Jan-2023 10:59
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armel.deb 439K06-Jan-2024 02:19
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armel.deb 439K28-Feb-2024 04:04
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb 440K03-Jan-2023 10:58
cryptominisat_5.8.0+dfsg1.orig.tar.xz 441K11-Jul-2020 18:16
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb 445K12-Dec-2020 20:28
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb 449K06-Jan-2023 04:56
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_arm64.deb 449K28-Feb-2024 04:04
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_arm64.deb 449K05-Jan-2024 23:40
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb 450K03-Jan-2023 10:58
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armhf.deb 457K28-Feb-2024 03:54
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armhf.deb 457K06-Jan-2024 01:18
python3-cryptominisat_5.11.15+dfsg1-1+b2_armel.deb 460K06-Jan-2024 02:19
python3-cryptominisat_5.11.15+dfsg1-1.1_armel.deb 462K28-Feb-2024 04:04
python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb 462K03-Jan-2023 10:59
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb 463K03-Jan-2023 10:12
cryptominisat_5.11.15+dfsg1.orig.tar.xz 464K14-Dec-2023 13:37
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_mips64el.deb 466K28-Feb-2024 04:20
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_mips64el.deb 466K06-Jan-2024 03:07
python3-cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb 470K06-Jan-2024 01:18
python3-cryptominisat_5.11.15+dfsg1-1.1_armhf.deb 471K28-Feb-2024 03:54
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb 473K03-Jan-2023 10:58
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb 477K03-Jan-2023 10:43
python3-cryptominisat_5.11.15+dfsg1-1.1_arm64.deb 477K28-Feb-2024 04:04
python3-cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb 478K05-Jan-2024 23:40
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 479K03-Jan-2023 10:58
python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb 483K06-Jan-2023 04:56
python3-cryptominisat_5.11.15+dfsg1-1.1_mips64el.deb 489K28-Feb-2024 04:20
python3-cryptominisat_5.11.15+dfsg1-1+b2_mips64el.deb 489K06-Jan-2024 03:07
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb 490K03-Jan-2023 10:27
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_amd64.deb 494K28-Feb-2024 03:54
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_amd64.deb 494K06-Jan-2024 01:41
python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb 494K03-Jan-2023 10:12
python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb 511K03-Jan-2023 10:43
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb 516K03-Jan-2023 11:45
python3-cryptominisat_5.11.15+dfsg1-1.1_amd64.deb 516K28-Feb-2024 03:54
python3-cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb 516K06-Jan-2024 01:41
cryptominisat_5.11.4+dfsg1.orig.tar.xz 518K29-Oct-2022 01:20
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_i386.deb 519K28-Feb-2024 03:54
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_i386.deb 519K06-Jan-2024 02:24
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 520K03-Jan-2023 10:27
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_riscv64.deb 527K28-Feb-2024 05:26
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_s390x.deb 529K28-Feb-2024 03:49
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_s390x.deb 529K06-Jan-2024 10:38
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb 530K05-Jan-2023 03:55
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_ppc64el.deb 534K06-Jan-2024 00:40
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_ppc64el.deb 534K28-Feb-2024 03:54
python3-cryptominisat_5.11.15+dfsg1-1.1_riscv64.deb 544K28-Feb-2024 05:26
python3-cryptominisat_5.11.15+dfsg1-1.1_s390x.deb 550K28-Feb-2024 03:49
python3-cryptominisat_5.11.15+dfsg1-1+b2_s390x.deb 551K06-Jan-2024 10:38
python3-cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb 552K28-Feb-2024 03:54
python3-cryptominisat_5.11.15+dfsg1-1+b2_ppc64el.deb 552K06-Jan-2024 00:40
python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb 556K05-Jan-2023 03:55
python3-cryptominisat_5.11.15+dfsg1-1.1_i386.deb 571K28-Feb-2024 03:54
python3-cryptominisat_5.11.15+dfsg1-1+b2_i386.deb 572K06-Jan-2024 02:24
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb 576K03-Jan-2023 11:45