Index of /ubuntu-ports/pool/universe/c/cryptominisat/
../
cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..> 31-Mar-2024 18:36 5720
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 31-Mar-2024 18:36 2621
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 02-Apr-2024 01:07 79224
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 02-Apr-2024 01:08 79310
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 02-Apr-2024 05:02 86502
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 03-Apr-2024 21:11 86210
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 02-Apr-2024 11:03 84756
cryptominisat_5.11.15+dfsg1.orig.tar.xz 14-Dec-2023 17:37 474840
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz 03-May-2024 11:29 6620
cryptominisat_5.11.21+dfsg1-1.dsc 03-May-2024 11:29 2498
cryptominisat_5.11.21+dfsg1-1_arm64.deb 05-May-2024 17:38 85518
cryptominisat_5.11.21+dfsg1-1_armhf.deb 09-May-2024 11:31 87562
cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 03-May-2024 12:05 95428
cryptominisat_5.11.21+dfsg1-1_riscv64.deb 05-May-2024 11:18 95908
cryptominisat_5.11.21+dfsg1-1_s390x.deb 03-May-2024 12:40 95722
cryptominisat_5.11.21+dfsg1.orig.tar.xz 03-May-2024 11:29 481480
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_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.orig.tar.xz 06-Nov-2022 03:16 530220
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_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_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.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 01:07 435248
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 01:08 522620
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 05:02 504056
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 03-Apr-2024 21:11 586390
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 11:03 508752
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64..> 05-May-2024 17:38 436338
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf..> 09-May-2024 11:31 513456
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64..> 03-May-2024 12:05 502114
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv..> 05-May-2024 11:18 585408
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x..> 03-May-2024 12:40 506580
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.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:07 17748
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:08 17750
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 05:02 17752
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 21:11 17750
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 11:03 17746
libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb 05-May-2024 17:38 17800
libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb 09-May-2024 11:31 17742
libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb 03-May-2024 12:05 17814
libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb 05-May-2024 11:18 17800
libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb 03-May-2024 12:40 17802
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.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.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:07 519270
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:08 524220
python3-cryptominisat_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 05:02 634778
python3-cryptominisat_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 21:11 606940
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 11:03 594378
python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb 05-May-2024 17:38 520378
python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb 09-May-2024 11:31 523318
python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 03-May-2024 12:05 627704
python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb 05-May-2024 11:18 605988
python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb 03-May-2024 12:40 586662
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.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