Index of /ubuntu-old-releases/ubuntu/pool/universe/c/cryptominisat/
../
cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz 25-Dec-2022 20:25 5436
cryptominisat_5.11.4+dfsg1-2build1.dsc 25-Dec-2022 20:25 2462
cryptominisat_5.11.4+dfsg1-2build1_amd64.deb 25-Dec-2022 20:26 79704
cryptominisat_5.11.4+dfsg1-2build1_arm64.deb 25-Dec-2022 20:26 75032
cryptominisat_5.11.4+dfsg1-2build1_armhf.deb 25-Dec-2022 20:27 74544
cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb 25-Dec-2022 20:27 81566
cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb 25-Dec-2022 21:54 81194
cryptominisat_5.11.4+dfsg1-2build1_s390x.deb 25-Dec-2022 20:27 76510
cryptominisat_5.11.4+dfsg1-3.debian.tar.xz 15-Jul-2023 05:38 6748
cryptominisat_5.11.4+dfsg1-3.dsc 15-Jul-2023 05:38 2459
cryptominisat_5.11.4+dfsg1-3_amd64.deb 15-Jul-2023 05:39 81020
cryptominisat_5.11.4+dfsg1-3_arm64.deb 15-Jul-2023 05:39 76346
cryptominisat_5.11.4+dfsg1-3_armhf.deb 15-Jul-2023 05:39 76364
cryptominisat_5.11.4+dfsg1-3_ppc64el.deb 15-Jul-2023 05:39 83104
cryptominisat_5.11.4+dfsg1-3_riscv64.deb 16-Jul-2023 08:40 83542
cryptominisat_5.11.4+dfsg1-3_s390x.deb 15-Jul-2023 05:39 81842
cryptominisat_5.11.4+dfsg1.orig.tar.xz 06-Nov-2022 03:16 530220
cryptominisat_5.6.4+dfsg.1-1ubuntu1.debian.tar.xz 13-Nov-2018 17:15 20048
cryptominisat_5.6.4+dfsg.1-1ubuntu1.dsc 13-Nov-2018 17:15 2103
cryptominisat_5.6.4+dfsg.1-1ubuntu1_amd64.deb 13-Nov-2018 17:23 80300
cryptominisat_5.6.4+dfsg.1.orig.tar.gz 09-Nov-2018 23:35 492403
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz 13-Jul-2020 17:24 6188
cryptominisat_5.8.0+dfsg1-1.dsc 13-Jul-2020 17:24 2408
cryptominisat_5.8.0+dfsg1-1_amd64.deb 13-Jul-2020 18:09 96608
cryptominisat_5.8.0+dfsg1-1_arm64.deb 13-Jul-2020 18:10 89180
cryptominisat_5.8.0+dfsg1-1_armhf.deb 13-Jul-2020 18:10 87576
cryptominisat_5.8.0+dfsg1-1_ppc64el.deb 13-Jul-2020 18:10 98832
cryptominisat_5.8.0+dfsg1-1_riscv64.deb 14-Jul-2020 14:59 94424
cryptominisat_5.8.0+dfsg1-1_s390x.deb 13-Jul-2020 18:11 89776
cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz 12-Dec-2020 12:45 6296
cryptominisat_5.8.0+dfsg1-1build2.dsc 12-Dec-2020 12:45 2432
cryptominisat_5.8.0+dfsg1-1build2_amd64.deb 12-Dec-2020 13:06 87672
cryptominisat_5.8.0+dfsg1-1build2_arm64.deb 12-Dec-2020 14:27 81496
cryptominisat_5.8.0+dfsg1-1build2_armhf.deb 12-Dec-2020 14:27 80872
cryptominisat_5.8.0+dfsg1-1build2_ppc64el.deb 12-Dec-2020 13:06 94004
cryptominisat_5.8.0+dfsg1-1build2_riscv64.deb 12-Dec-2020 13:28 86492
cryptominisat_5.8.0+dfsg1-1build2_s390x.deb 12-Dec-2020 13:07 84548
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 22-Feb-2022 23:24 6264
cryptominisat_5.8.0+dfsg1-2.dsc 22-Feb-2022 23:24 2408
cryptominisat_5.8.0+dfsg1-2_amd64.deb 22-Feb-2022 23:45 92960
cryptominisat_5.8.0+dfsg1-2_arm64.deb 22-Feb-2022 23:45 89080
cryptominisat_5.8.0+dfsg1-2_armhf.deb 22-Feb-2022 23:45 88634
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 22-Feb-2022 23:46 99378
cryptominisat_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 02:29 96668
cryptominisat_5.8.0+dfsg1-2_s390x.deb 22-Feb-2022 23:46 90238
cryptominisat_5.8.0+dfsg1.orig.tar.xz 13-Jul-2020 17:24 451304
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_amd..> 25-Dec-2022 20:26 441884
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> 25-Dec-2022 20:26 426100
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> 25-Dec-2022 20:27 506494
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ppc..> 25-Dec-2022 20:27 492674
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ris..> 25-Dec-2022 21:54 548264
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_s39..> 25-Dec-2022 20:27 431392
libcryptominisat5-5.11_5.11.4+dfsg1-3_amd64.deb 15-Jul-2023 05:39 445520
libcryptominisat5-5.11_5.11.4+dfsg1-3_arm64.deb 15-Jul-2023 05:39 430856
libcryptominisat5-5.11_5.11.4+dfsg1-3_armhf.deb 15-Jul-2023 05:39 513800
libcryptominisat5-5.11_5.11.4+dfsg1-3_ppc64el.deb 15-Jul-2023 05:39 497012
libcryptominisat5-5.11_5.11.4+dfsg1-3_riscv64.deb 16-Jul-2023 08:40 585202
libcryptominisat5-5.11_5.11.4+dfsg1-3_s390x.deb 15-Jul-2023 05:39 507704
libcryptominisat5-5.6_5.6.4+dfsg.1-1ubuntu1_amd..> 13-Nov-2018 17:23 365476
libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb 13-Jul-2020 18:09 429124
libcryptominisat5-5.8_5.8.0+dfsg1-1_arm64.deb 13-Jul-2020 18:10 386608
libcryptominisat5-5.8_5.8.0+dfsg1-1_armhf.deb 13-Jul-2020 18:10 404768
libcryptominisat5-5.8_5.8.0+dfsg1-1_ppc64el.deb 13-Jul-2020 18:10 486164
libcryptominisat5-5.8_5.8.0+dfsg1-1_riscv64.deb 14-Jul-2020 14:59 429656
libcryptominisat5-5.8_5.8.0+dfsg1-1_s390x.deb 13-Jul-2020 18:11 401528
libcryptominisat5-5.8_5.8.0+dfsg1-1build2_amd64..> 12-Dec-2020 13:06 415976
libcryptominisat5-5.8_5.8.0+dfsg1-1build2_arm64..> 12-Dec-2020 14:27 378216
libcryptominisat5-5.8_5.8.0+dfsg1-1build2_armhf..> 12-Dec-2020 14:27 383632
libcryptominisat5-5.8_5.8.0+dfsg1-1build2_ppc64..> 12-Dec-2020 13:06 489848
libcryptominisat5-5.8_5.8.0+dfsg1-1build2_riscv..> 12-Dec-2020 13:28 419452
libcryptominisat5-5.8_5.8.0+dfsg1-1build2_s390x..> 12-Dec-2020 13:07 451012
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb 22-Feb-2022 23:45 386708
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb 22-Feb-2022 23:45 374678
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb 22-Feb-2022 23:45 425954
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb 22-Feb-2022 23:46 472750
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 02:29 459880
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb 22-Feb-2022 23:46 373806
libcryptominisat5-dev_5.11.4+dfsg1-2build1_amd6..> 25-Dec-2022 20:26 17296
libcryptominisat5-dev_5.11.4+dfsg1-2build1_arm6..> 25-Dec-2022 20:26 17300
libcryptominisat5-dev_5.11.4+dfsg1-2build1_armh..> 25-Dec-2022 20:27 17306
libcryptominisat5-dev_5.11.4+dfsg1-2build1_ppc6..> 25-Dec-2022 20:27 17308
libcryptominisat5-dev_5.11.4+dfsg1-2build1_risc..> 25-Dec-2022 21:54 17302
libcryptominisat5-dev_5.11.4+dfsg1-2build1_s390..> 25-Dec-2022 20:27 17304
libcryptominisat5-dev_5.11.4+dfsg1-3_amd64.deb 15-Jul-2023 05:39 17306
libcryptominisat5-dev_5.11.4+dfsg1-3_arm64.deb 15-Jul-2023 05:39 17302
libcryptominisat5-dev_5.11.4+dfsg1-3_armhf.deb 15-Jul-2023 05:39 17304
libcryptominisat5-dev_5.11.4+dfsg1-3_ppc64el.deb 15-Jul-2023 05:39 17310
libcryptominisat5-dev_5.11.4+dfsg1-3_riscv64.deb 16-Jul-2023 08:40 17304
libcryptominisat5-dev_5.11.4+dfsg1-3_s390x.deb 15-Jul-2023 05:39 17310
libcryptominisat5-dev_5.6.4+dfsg.1-1ubuntu1_amd..> 13-Nov-2018 17:23 11340
libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb 13-Jul-2020 18:09 12912
libcryptominisat5-dev_5.8.0+dfsg1-1_arm64.deb 13-Jul-2020 18:10 12908
libcryptominisat5-dev_5.8.0+dfsg1-1_armhf.deb 13-Jul-2020 18:10 12912
libcryptominisat5-dev_5.8.0+dfsg1-1_ppc64el.deb 13-Jul-2020 18:10 12916
libcryptominisat5-dev_5.8.0+dfsg1-1_riscv64.deb 14-Jul-2020 14:59 12912
libcryptominisat5-dev_5.8.0+dfsg1-1_s390x.deb 13-Jul-2020 18:11 12912
libcryptominisat5-dev_5.8.0+dfsg1-1build2_amd64..> 12-Dec-2020 13:06 12920
libcryptominisat5-dev_5.8.0+dfsg1-1build2_arm64..> 12-Dec-2020 14:27 12916
libcryptominisat5-dev_5.8.0+dfsg1-1build2_armhf..> 12-Dec-2020 14:27 12924
libcryptominisat5-dev_5.8.0+dfsg1-1build2_ppc64..> 12-Dec-2020 13:06 12928
libcryptominisat5-dev_5.8.0+dfsg1-1build2_riscv..> 12-Dec-2020 13:28 12924
libcryptominisat5-dev_5.8.0+dfsg1-1build2_s390x..> 12-Dec-2020 13:07 12924
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb 22-Feb-2022 23:45 12978
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb 22-Feb-2022 23:45 12974
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb 22-Feb-2022 23:45 12980
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb 22-Feb-2022 23:46 12984
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 02:29 12974
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb 22-Feb-2022 23:46 12978
python3-cryptominisat_5.11.4+dfsg1-2build1_amd6..> 25-Dec-2022 20:26 530236
python3-cryptominisat_5.11.4+dfsg1-2build1_arm6..> 25-Dec-2022 20:26 519410
python3-cryptominisat_5.11.4+dfsg1-2build1_armh..> 25-Dec-2022 20:27 527206
python3-cryptominisat_5.11.4+dfsg1-2build1_ppc6..> 25-Dec-2022 20:27 634598
python3-cryptominisat_5.11.4+dfsg1-2build1_risc..> 25-Dec-2022 21:54 574548
python3-cryptominisat_5.11.4+dfsg1-2build1_s390..> 25-Dec-2022 20:27 517440
python3-cryptominisat_5.11.4+dfsg1-3_amd64.deb 15-Jul-2023 05:39 534358
python3-cryptominisat_5.11.4+dfsg1-3_arm64.deb 15-Jul-2023 05:39 525764
python3-cryptominisat_5.11.4+dfsg1-3_armhf.deb 15-Jul-2023 05:39 534932
python3-cryptominisat_5.11.4+dfsg1-3_ppc64el.deb 15-Jul-2023 05:39 631732
python3-cryptominisat_5.11.4+dfsg1-3_riscv64.deb 16-Jul-2023 08:40 606602
python3-cryptominisat_5.11.4+dfsg1-3_s390x.deb 15-Jul-2023 05:39 598852
python3-cryptominisat_5.6.4+dfsg.1-1ubuntu1_amd..> 13-Nov-2018 17:23 16804
python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb 13-Jul-2020 18:09 18240
python3-cryptominisat_5.8.0+dfsg1-1_arm64.deb 13-Jul-2020 18:10 17820
python3-cryptominisat_5.8.0+dfsg1-1_armhf.deb 13-Jul-2020 18:10 16920
python3-cryptominisat_5.8.0+dfsg1-1_ppc64el.deb 13-Jul-2020 18:10 18920
python3-cryptominisat_5.8.0+dfsg1-1_riscv64.deb 14-Jul-2020 14:59 17632
python3-cryptominisat_5.8.0+dfsg1-1_s390x.deb 13-Jul-2020 18:11 17696
python3-cryptominisat_5.8.0+dfsg1-1build2_amd64..> 12-Dec-2020 13:06 18280
python3-cryptominisat_5.8.0+dfsg1-1build2_arm64..> 12-Dec-2020 14:27 17816
python3-cryptominisat_5.8.0+dfsg1-1build2_armhf..> 12-Dec-2020 14:27 17088
python3-cryptominisat_5.8.0+dfsg1-1build2_ppc64..> 12-Dec-2020 13:06 19080
python3-cryptominisat_5.8.0+dfsg1-1build2_riscv..> 12-Dec-2020 13:28 17800
python3-cryptominisat_5.8.0+dfsg1-1build2_s390x..> 12-Dec-2020 13:07 18752
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb 22-Feb-2022 23:45 19592
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb 22-Feb-2022 23:45 19248
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb 22-Feb-2022 23:45 18400
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 22-Feb-2022 23:46 20712
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 02:29 19270
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb 22-Feb-2022 23:46 19262