Index of /ubuntu-ports/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.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-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_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.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.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.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.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.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_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.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.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_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.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