Index of /ubuntu-old-releases/ubuntu/pool/universe/c/cryptominisat/
../
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.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.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.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