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

../
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb    02-Apr-2024 01:07     77K
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb    02-Apr-2024 01:08     77K
cryptominisat_5.11.21+dfsg1-1_arm64.deb            05-May-2024 17:38     84K
cryptominisat_5.11.21+dfsg1-1_armhf.deb            09-May-2024 11:31     86K
cryptominisat_5.11.4+dfsg1-2build1_arm64.deb       25-Dec-2022 20:26     73K
cryptominisat_5.11.4+dfsg1-2build1_armhf.deb       25-Dec-2022 20:27     73K
cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz    12-Dec-2020 12:45    6296
cryptominisat_5.8.0+dfsg1-1build2.dsc              12-Dec-2020 12:45    2432
cryptominisat_5.8.0+dfsg1-1build2_ppc64el.deb      12-Dec-2020 13:06     92K
cryptominisat_5.8.0+dfsg1-1build2_riscv64.deb      12-Dec-2020 13:28     84K
cryptominisat_5.8.0+dfsg1-1build2_s390x.deb        12-Dec-2020 13:07     83K
cryptominisat_5.8.0+dfsg1-1build3.debian.tar.xz    13-Jan-2022 19:29    6352
cryptominisat_5.8.0+dfsg1-1build3.dsc              13-Jan-2022 19:29    2407
cryptominisat_5.8.0+dfsg1-1build3_ppc64el.deb      13-Jan-2022 20:45     97K
cryptominisat_5.8.0+dfsg1-1build3_riscv64.deb      13-Jan-2022 21:11     95K
cryptominisat_5.8.0+dfsg1-1build3_s390x.deb        13-Jan-2022 20:46     88K
cryptominisat_5.8.0+dfsg1-2_arm64.deb              22-Feb-2022 23:45     87K
cryptominisat_5.8.0+dfsg1-2_armhf.deb              22-Feb-2022 23:45     87K
cryptominisat_5.8.0+dfsg1.orig.tar.xz              13-Jul-2020 17:24    441K
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> 25-Dec-2022 20:26    416K
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> 25-Dec-2022 20:27    495K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 01:07    425K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 01:08    510K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64..> 05-May-2024 17:38    426K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf..> 09-May-2024 11:31    501K
libcryptominisat5-5.8_5.8.0+dfsg1-1build2_ppc64..> 12-Dec-2020 13:06    478K
libcryptominisat5-5.8_5.8.0+dfsg1-1build2_riscv..> 12-Dec-2020 13:28    410K
libcryptominisat5-5.8_5.8.0+dfsg1-1build2_s390x..> 12-Dec-2020 13:07    440K
libcryptominisat5-5.8_5.8.0+dfsg1-1build3_ppc64..> 13-Jan-2022 20:45    462K
libcryptominisat5-5.8_5.8.0+dfsg1-1build3_riscv..> 13-Jan-2022 21:11    449K
libcryptominisat5-5.8_5.8.0+dfsg1-1build3_s390x..> 13-Jan-2022 20:46    365K
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb      22-Feb-2022 23:45    366K
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb      22-Feb-2022 23:45    416K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:07     17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:08     17K
libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb    05-May-2024 17:38     17K
libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb    09-May-2024 11:31     17K
libcryptominisat5-dev_5.11.4+dfsg1-2build1_arm6..> 25-Dec-2022 20:26     17K
libcryptominisat5-dev_5.11.4+dfsg1-2build1_armh..> 25-Dec-2022 20:27     17K
libcryptominisat5-dev_5.8.0+dfsg1-1build2_ppc64..> 12-Dec-2020 13:06     13K
libcryptominisat5-dev_5.8.0+dfsg1-1build2_riscv..> 12-Dec-2020 13:28     13K
libcryptominisat5-dev_5.8.0+dfsg1-1build2_s390x..> 12-Dec-2020 13:07     13K
libcryptominisat5-dev_5.8.0+dfsg1-1build3_ppc64..> 13-Jan-2022 20:45     13K
libcryptominisat5-dev_5.8.0+dfsg1-1build3_riscv..> 13-Jan-2022 21:11     13K
libcryptominisat5-dev_5.8.0+dfsg1-1build3_s390x..> 13-Jan-2022 20:46     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb      22-Feb-2022 23:45     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb      22-Feb-2022 23:45     13K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:07    507K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:08    512K
python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb    05-May-2024 17:38    508K
python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb    09-May-2024 11:31    511K
python3-cryptominisat_5.11.4+dfsg1-2build1_arm6..> 25-Dec-2022 20:26    507K
python3-cryptominisat_5.11.4+dfsg1-2build1_armh..> 25-Dec-2022 20:27    515K
python3-cryptominisat_5.8.0+dfsg1-1build2_ppc64..> 12-Dec-2020 13:06     19K
python3-cryptominisat_5.8.0+dfsg1-1build2_riscv..> 12-Dec-2020 13:28     17K
python3-cryptominisat_5.8.0+dfsg1-1build2_s390x..> 12-Dec-2020 13:07     18K
python3-cryptominisat_5.8.0+dfsg1-1build3_ppc64..> 13-Jan-2022 20:45     20K
python3-cryptominisat_5.8.0+dfsg1-1build3_riscv..> 13-Jan-2022 21:11     19K
python3-cryptominisat_5.8.0+dfsg1-1build3_s390x..> 13-Jan-2022 20:46     19K
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb      22-Feb-2022 23:45     19K
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb      22-Feb-2022 23:45     18K