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