Index of /ubuntu-ports/pool/universe/c/cryptominisat/

../
cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..> 31-Mar-2024 14:36    5720
cryptominisat_5.11.15+dfsg1-1.1build1.dsc          31-Mar-2024 14:36    2621
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb    01-Apr-2024 21:07     77K
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb    01-Apr-2024 21:08     77K
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb  02-Apr-2024 01:02     84K
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb  03-Apr-2024 17:11     84K
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb    02-Apr-2024 07:03     83K
cryptominisat_5.11.15+dfsg1.orig.tar.xz            14-Dec-2023 13:37    464K
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz        03-May-2024 07:29    6620
cryptominisat_5.11.21+dfsg1-1.dsc                  03-May-2024 07:29    2498
cryptominisat_5.11.21+dfsg1-1_arm64.deb            05-May-2024 13:38     84K
cryptominisat_5.11.21+dfsg1-1_armhf.deb            09-May-2024 07:31     86K
cryptominisat_5.11.21+dfsg1-1_ppc64el.deb          03-May-2024 08:05     93K
cryptominisat_5.11.21+dfsg1-1_riscv64.deb          05-May-2024 07:18     94K
cryptominisat_5.11.21+dfsg1-1_s390x.deb            03-May-2024 08:40     93K
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz  03-Jan-2025 10:35    6704
cryptominisat_5.11.21+dfsg1-1build1.dsc            03-Jan-2025 10:36    2497
cryptominisat_5.11.21+dfsg1-1build1_arm64.deb      03-Jan-2025 10:37     85K
cryptominisat_5.11.21+dfsg1-1build1_armhf.deb      03-Jan-2025 10:38     87K
cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb    03-Jan-2025 10:39     94K
cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb    03-Jan-2025 14:35     94K
cryptominisat_5.11.21+dfsg1-1build1_s390x.deb      03-Jan-2025 10:40     95K
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz        25-May-2025 01:49    6696
cryptominisat_5.11.21+dfsg1-2.dsc                  25-May-2025 01:49    2519
cryptominisat_5.11.21+dfsg1-2_arm64.deb            25-May-2025 01:49     85K
cryptominisat_5.11.21+dfsg1-2_armhf.deb            25-May-2025 01:49     87K
cryptominisat_5.11.21+dfsg1-2_ppc64el.deb          25-May-2025 01:49     93K
cryptominisat_5.11.21+dfsg1-2_riscv64.deb          25-May-2025 04:34     94K
cryptominisat_5.11.21+dfsg1-2_s390x.deb            25-May-2025 01:49     95K
cryptominisat_5.11.21+dfsg1.orig.tar.xz            03-May-2024 07:29    470K
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz          22-Feb-2022 19:24    6264
cryptominisat_5.8.0+dfsg1-2.dsc                    22-Feb-2022 19:24    2408
cryptominisat_5.8.0+dfsg1-2_arm64.deb              22-Feb-2022 19:45     87K
cryptominisat_5.8.0+dfsg1-2_armhf.deb              22-Feb-2022 19:45     87K
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb            22-Feb-2022 19:46     97K
cryptominisat_5.8.0+dfsg1-2_riscv64.deb            22-Feb-2022 22:29     94K
cryptominisat_5.8.0+dfsg1-2_s390x.deb              22-Feb-2022 19:46     88K
cryptominisat_5.8.0+dfsg1.orig.tar.xz              13-Jul-2020 13:24    441K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 01-Apr-2024 21:07    425K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 01-Apr-2024 21:08    510K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 01:02    492K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 03-Apr-2024 17:11    573K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 07:03    497K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64..> 05-May-2024 13:38    426K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf..> 09-May-2024 07:31    501K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64..> 03-May-2024 08:05    490K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv..> 05-May-2024 07:18    572K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x..> 03-May-2024 08:40    495K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 10:37    439K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 10:38    510K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 10:39    499K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 14:35    580K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 10:40    501K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64..> 25-May-2025 01:49    438K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf..> 25-May-2025 01:49    507K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64..> 25-May-2025 01:49    498K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv..> 25-May-2025 04:34    579K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x..> 25-May-2025 01:49    497K
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb      22-Feb-2022 19:45    366K
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb      22-Feb-2022 19:45    416K
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb    22-Feb-2022 19:46    462K
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb    22-Feb-2022 22:29    449K
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb      22-Feb-2022 19:46    365K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 21:07     17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 21:08     17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 01:02     17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 17:11     17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 07:03     17K
libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb    05-May-2024 13:38     17K
libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb    09-May-2024 07:31     17K
libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb  03-May-2024 08:05     17K
libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb  05-May-2024 07:18     17K
libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb    03-May-2024 08:40     17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 10:37     17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 10:38     17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc..> 03-Jan-2025 10:39     17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ris..> 03-Jan-2025 14:35     17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_s39..> 03-Jan-2025 10:40     17K
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb    25-May-2025 01:49     17K
libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb    25-May-2025 01:49     17K
libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb  25-May-2025 01:49     17K
libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb  25-May-2025 04:34     17K
libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb    25-May-2025 01:49     17K
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb      22-Feb-2022 19:45     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb      22-Feb-2022 19:45     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb    22-Feb-2022 19:46     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb    22-Feb-2022 22:29     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb      22-Feb-2022 19:46     13K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 21:07    507K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 21:08    512K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 01:02    620K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 17:11    593K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 07:03    580K
python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb    05-May-2024 13:38    508K
python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb    09-May-2024 07:31    511K
python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb  03-May-2024 08:05    613K
python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb  05-May-2024 07:18    592K
python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb    03-May-2024 08:40    573K
python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 10:37    565K
python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 10:38    571K
python3-cryptominisat_5.11.21+dfsg1-1build1_ppc..> 03-Jan-2025 10:39    669K
python3-cryptominisat_5.11.21+dfsg1-1build1_ris..> 03-Jan-2025 14:35    653K
python3-cryptominisat_5.11.21+dfsg1-1build1_s39..> 03-Jan-2025 10:40    621K
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb    25-May-2025 01:49    571K
python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb    25-May-2025 01:49    576K
python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb  25-May-2025 01:49    677K
python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb  25-May-2025 04:34    661K
python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb    25-May-2025 01:49    628K
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb      22-Feb-2022 19:45     19K
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb      22-Feb-2022 19:45     18K
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb    22-Feb-2022 19:46     20K
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb    22-Feb-2022 22:29     19K
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb      22-Feb-2022 19:46     19K