Index of /ubuntu-ports/pool/universe/c/cryptominisat/
../
cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..> 31-Mar-2024 20:36 5720
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 31-Mar-2024 20:36 2621
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 02-Apr-2024 03:07 79224
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 02-Apr-2024 03:08 79310
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 02-Apr-2024 07:02 86502
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 03-Apr-2024 23:11 86210
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 02-Apr-2024 13:03 84756
cryptominisat_5.11.15+dfsg1.orig.tar.xz 14-Dec-2023 19:37 474840
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz 03-May-2024 13:29 6620
cryptominisat_5.11.21+dfsg1-1.dsc 03-May-2024 13:29 2498
cryptominisat_5.11.21+dfsg1-1_arm64.deb 05-May-2024 19:38 85518
cryptominisat_5.11.21+dfsg1-1_armhf.deb 09-May-2024 13:31 87562
cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 03-May-2024 14:05 95428
cryptominisat_5.11.21+dfsg1-1_riscv64.deb 05-May-2024 13:18 95908
cryptominisat_5.11.21+dfsg1-1_s390x.deb 03-May-2024 14:40 95722
cryptominisat_5.11.21+dfsg1.orig.tar.xz 03-May-2024 13:29 481480
cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz 25-Dec-2022 22:25 5436
cryptominisat_5.11.4+dfsg1-2build1.dsc 25-Dec-2022 22:25 2462
cryptominisat_5.11.4+dfsg1-2build1_arm64.deb 25-Dec-2022 22:26 75032
cryptominisat_5.11.4+dfsg1-2build1_armhf.deb 25-Dec-2022 22:27 74544
cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb 25-Dec-2022 22:27 81566
cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb 25-Dec-2022 23:54 81194
cryptominisat_5.11.4+dfsg1-2build1_s390x.deb 25-Dec-2022 22:27 76510
cryptominisat_5.11.4+dfsg1-3.debian.tar.xz 15-Jul-2023 07:38 6748
cryptominisat_5.11.4+dfsg1-3.dsc 15-Jul-2023 07:38 2459
cryptominisat_5.11.4+dfsg1-3_arm64.deb 15-Jul-2023 07:39 76346
cryptominisat_5.11.4+dfsg1-3_armhf.deb 15-Jul-2023 07:39 76364
cryptominisat_5.11.4+dfsg1-3_ppc64el.deb 15-Jul-2023 07:39 83104
cryptominisat_5.11.4+dfsg1-3_riscv64.deb 16-Jul-2023 10:40 83542
cryptominisat_5.11.4+dfsg1-3_s390x.deb 15-Jul-2023 07:39 81842
cryptominisat_5.11.4+dfsg1.orig.tar.xz 06-Nov-2022 05:16 530220
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 23-Feb-2022 01:24 6264
cryptominisat_5.8.0+dfsg1-2.dsc 23-Feb-2022 01:24 2408
cryptominisat_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 01:45 89080
cryptominisat_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 01:45 88634
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 01:46 99378
cryptominisat_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 04:29 96668
cryptominisat_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 01:46 90238
cryptominisat_5.8.0+dfsg1.orig.tar.xz 13-Jul-2020 19:24 451304
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> 25-Dec-2022 22:26 426100
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> 25-Dec-2022 22:27 506494
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ppc..> 25-Dec-2022 22:27 492674
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ris..> 25-Dec-2022 23:54 548264
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_s39..> 25-Dec-2022 22:27 431392
libcryptominisat5-5.11_5.11.4+dfsg1-3_arm64.deb 15-Jul-2023 07:39 430856
libcryptominisat5-5.11_5.11.4+dfsg1-3_armhf.deb 15-Jul-2023 07:39 513800
libcryptominisat5-5.11_5.11.4+dfsg1-3_ppc64el.deb 15-Jul-2023 07:39 497012
libcryptominisat5-5.11_5.11.4+dfsg1-3_riscv64.deb 16-Jul-2023 10:40 585202
libcryptominisat5-5.11_5.11.4+dfsg1-3_s390x.deb 15-Jul-2023 07:39 507704
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 03:07 435248
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 03:08 522620
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 07:02 504056
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 03-Apr-2024 23:11 586390
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 13:03 508752
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64..> 05-May-2024 19:38 436338
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf..> 09-May-2024 13:31 513456
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64..> 03-May-2024 14:05 502114
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv..> 05-May-2024 13:18 585408
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x..> 03-May-2024 14:40 506580
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 01:45 374678
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 01:45 425954
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 01:46 472750
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 04:29 459880
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 01:46 373806
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 03:07 17748
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 03:08 17750
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 07:02 17752
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 23:11 17750
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 13:03 17746
libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb 05-May-2024 19:38 17800
libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb 09-May-2024 13:31 17742
libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb 03-May-2024 14:05 17814
libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb 05-May-2024 13:18 17800
libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb 03-May-2024 14:40 17802
libcryptominisat5-dev_5.11.4+dfsg1-2build1_arm6..> 25-Dec-2022 22:26 17300
libcryptominisat5-dev_5.11.4+dfsg1-2build1_armh..> 25-Dec-2022 22:27 17306
libcryptominisat5-dev_5.11.4+dfsg1-2build1_ppc6..> 25-Dec-2022 22:27 17308
libcryptominisat5-dev_5.11.4+dfsg1-2build1_risc..> 25-Dec-2022 23:54 17302
libcryptominisat5-dev_5.11.4+dfsg1-2build1_s390..> 25-Dec-2022 22:27 17304
libcryptominisat5-dev_5.11.4+dfsg1-3_arm64.deb 15-Jul-2023 07:39 17302
libcryptominisat5-dev_5.11.4+dfsg1-3_armhf.deb 15-Jul-2023 07:39 17304
libcryptominisat5-dev_5.11.4+dfsg1-3_ppc64el.deb 15-Jul-2023 07:39 17310
libcryptominisat5-dev_5.11.4+dfsg1-3_riscv64.deb 16-Jul-2023 10:40 17304
libcryptominisat5-dev_5.11.4+dfsg1-3_s390x.deb 15-Jul-2023 07:39 17310
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 01:45 12974
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 01:45 12980
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 01:46 12984
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 04:29 12974
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 01:46 12978
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 03:07 519270
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 03:08 524220
python3-cryptominisat_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 07:02 634778
python3-cryptominisat_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 23:11 606940
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 13:03 594378
python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb 05-May-2024 19:38 520378
python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb 09-May-2024 13:31 523318
python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 03-May-2024 14:05 627704
python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb 05-May-2024 13:18 605988
python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb 03-May-2024 14:40 586662
python3-cryptominisat_5.11.4+dfsg1-2build1_arm6..> 25-Dec-2022 22:26 519410
python3-cryptominisat_5.11.4+dfsg1-2build1_armh..> 25-Dec-2022 22:27 527206
python3-cryptominisat_5.11.4+dfsg1-2build1_ppc6..> 25-Dec-2022 22:27 634598
python3-cryptominisat_5.11.4+dfsg1-2build1_risc..> 25-Dec-2022 23:54 574548
python3-cryptominisat_5.11.4+dfsg1-2build1_s390..> 25-Dec-2022 22:27 517440
python3-cryptominisat_5.11.4+dfsg1-3_arm64.deb 15-Jul-2023 07:39 525764
python3-cryptominisat_5.11.4+dfsg1-3_armhf.deb 15-Jul-2023 07:39 534932
python3-cryptominisat_5.11.4+dfsg1-3_ppc64el.deb 15-Jul-2023 07:39 631732
python3-cryptominisat_5.11.4+dfsg1-3_riscv64.deb 16-Jul-2023 10:40 606602
python3-cryptominisat_5.11.4+dfsg1-3_s390x.deb 15-Jul-2023 07:39 598852
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 01:45 19248
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 01:45 18400
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 01:46 20712
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 04:29 19270
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 01:46 19262