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