Index of /ubuntu-ports/pool/universe/c/cryptominisat/
../
cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..> 31-Mar-2024 19:36 5720
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 31-Mar-2024 19:36 2621
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 02-Apr-2024 02:07 79224
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 02-Apr-2024 02:08 79310
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 02-Apr-2024 06:02 86502
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 03-Apr-2024 22:11 86210
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 02-Apr-2024 12:03 84756
cryptominisat_5.11.15+dfsg1.orig.tar.xz 14-Dec-2023 18:37 474840
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 03-Jan-2025 15:35 6704
cryptominisat_5.11.21+dfsg1-1build1.dsc 03-Jan-2025 15:36 2497
cryptominisat_5.11.21+dfsg1-1build1_arm64.deb 03-Jan-2025 15:37 87218
cryptominisat_5.11.21+dfsg1-1build1_armhf.deb 03-Jan-2025 15:38 89008
cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb 03-Jan-2025 15:39 95986
cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb 03-Jan-2025 19:35 95990
cryptominisat_5.11.21+dfsg1-1build1_s390x.deb 03-Jan-2025 15:40 96780
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz 25-May-2025 06:49 6696
cryptominisat_5.11.21+dfsg1-2.dsc 25-May-2025 06:49 2519
cryptominisat_5.11.21+dfsg1-2_arm64.deb 25-May-2025 06:49 86880
cryptominisat_5.11.21+dfsg1-2_armhf.deb 25-May-2025 06:49 89442
cryptominisat_5.11.21+dfsg1-2_ppc64el.deb 25-May-2025 06:49 95450
cryptominisat_5.11.21+dfsg1-2_riscv64.deb 25-May-2025 09:34 96148
cryptominisat_5.11.21+dfsg1-2_s390x.deb 25-May-2025 06:49 97096
cryptominisat_5.11.21+dfsg1-3.debian.tar.xz 28-Oct-2025 01:02 7020
cryptominisat_5.11.21+dfsg1-3.dsc 28-Oct-2025 01:02 2505
cryptominisat_5.11.21+dfsg1-3_arm64.deb 28-Oct-2025 07:37 85676
cryptominisat_5.11.21+dfsg1-3_armhf.deb 28-Oct-2025 07:48 89452
cryptominisat_5.11.21+dfsg1-3_ppc64el.deb 28-Oct-2025 01:47 94798
cryptominisat_5.11.21+dfsg1-3_riscv64.deb 28-Oct-2025 19:28 97446
cryptominisat_5.11.21+dfsg1-3_s390x.deb 28-Oct-2025 08:07 95992
cryptominisat_5.11.21+dfsg1.orig.tar.xz 03-May-2024 12:29 481480
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 23-Feb-2022 00:24 6264
cryptominisat_5.8.0+dfsg1-2.dsc 23-Feb-2022 00:24 2408
cryptominisat_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 00:45 89080
cryptominisat_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 00:45 88634
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 00:46 99378
cryptominisat_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 03:29 96668
cryptominisat_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 00:46 90238
cryptominisat_5.8.0+dfsg1.orig.tar.xz 13-Jul-2020 18:24 451304
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 02:07 435248
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 02:08 522620
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 06:02 504056
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 03-Apr-2024 22:11 586390
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 12:03 508752
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 15:37 449932
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 15:38 521938
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 15:39 511164
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 19:35 593450
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 15:40 512918
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64..> 25-May-2025 06:49 448360
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf..> 25-May-2025 06:49 518956
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64..> 25-May-2025 06:49 509698
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv..> 25-May-2025 09:34 593330
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x..> 25-May-2025 06:49 509294
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_arm64..> 28-Oct-2025 07:37 432648
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_armhf..> 28-Oct-2025 07:48 515726
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_ppc64..> 28-Oct-2025 01:47 510208
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_riscv..> 28-Oct-2025 19:28 592668
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_s390x..> 28-Oct-2025 08:07 504218
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 00:45 374678
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 00:45 425954
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 00:46 472750
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 03:29 459880
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 00:46 373806
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 02:07 17748
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 02:08 17750
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 06:02 17752
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 22:11 17750
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 12:03 17746
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 15:37 17814
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 15:38 17812
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc..> 03-Jan-2025 15:39 17818
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ris..> 03-Jan-2025 19:35 17810
libcryptominisat5-dev_5.11.21+dfsg1-1build1_s39..> 03-Jan-2025 15:40 17816
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb 25-May-2025 06:49 17816
libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb 25-May-2025 06:49 17810
libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb 25-May-2025 06:49 17818
libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb 25-May-2025 09:34 17814
libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb 25-May-2025 06:49 17818
libcryptominisat5-dev_5.11.21+dfsg1-3_arm64.deb 28-Oct-2025 07:37 17816
libcryptominisat5-dev_5.11.21+dfsg1-3_armhf.deb 28-Oct-2025 07:48 17810
libcryptominisat5-dev_5.11.21+dfsg1-3_ppc64el.deb 28-Oct-2025 01:47 17818
libcryptominisat5-dev_5.11.21+dfsg1-3_riscv64.deb 28-Oct-2025 19:28 17814
libcryptominisat5-dev_5.11.21+dfsg1-3_s390x.deb 28-Oct-2025 08:07 17822
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 00:45 12974
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 00:45 12980
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 00:46 12984
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 03:29 12974
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 00:46 12978
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 02:07 519270
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 02:08 524220
python3-cryptominisat_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 06:02 634778
python3-cryptominisat_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 22:11 606940
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 12:03 594378
python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 15:37 578138
python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 15:38 584396
python3-cryptominisat_5.11.21+dfsg1-1build1_ppc..> 03-Jan-2025 15:39 685208
python3-cryptominisat_5.11.21+dfsg1-1build1_ris..> 03-Jan-2025 19:35 668668
python3-cryptominisat_5.11.21+dfsg1-1build1_s39..> 03-Jan-2025 15:40 635702
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb 25-May-2025 06:49 584454
python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb 25-May-2025 06:49 589432
python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb 25-May-2025 06:49 693316
python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb 25-May-2025 09:34 676922
python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb 25-May-2025 06:49 642738
python3-cryptominisat_5.11.21+dfsg1-3_arm64.deb 28-Oct-2025 07:37 567552
python3-cryptominisat_5.11.21+dfsg1-3_armhf.deb 28-Oct-2025 07:48 587496
python3-cryptominisat_5.11.21+dfsg1-3_ppc64el.deb 28-Oct-2025 01:47 697894
python3-cryptominisat_5.11.21+dfsg1-3_riscv64.deb 28-Oct-2025 19:28 677538
python3-cryptominisat_5.11.21+dfsg1-3_s390x.deb 28-Oct-2025 08:07 637286
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 00:45 19248
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 00:45 18400
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 00:46 20712
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 03:29 19270
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 00:46 19262