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

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


../
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz         06-Nov-2022 10:16    5360
cryptominisat_5.11.4+dfsg1-2.dsc                   06-Nov-2022 10:16    2459
cryptominisat_5.11.4+dfsg1-2_arm64.deb             05-Dec-2022 23:25     73K
cryptominisat_5.11.4+dfsg1-2_armhf.deb             05-Dec-2022 23:25     73K
cryptominisat_5.11.4+dfsg1-2_ppc64el.deb           05-Dec-2022 23:25     80K
cryptominisat_5.11.4+dfsg1-2_riscv64.deb           05-Dec-2022 23:25     79K
cryptominisat_5.11.4+dfsg1-2_s390x.deb             05-Dec-2022 23:25     75K
cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz   26-Dec-2022 03:25    5436
cryptominisat_5.11.4+dfsg1-2build1.dsc             26-Dec-2022 03:25    2462
cryptominisat_5.11.4+dfsg1-2build1_arm64.deb       26-Dec-2022 03:26     73K
cryptominisat_5.11.4+dfsg1-2build1_armhf.deb       26-Dec-2022 03:27     73K
cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb     26-Dec-2022 03:27     80K
cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb     26-Dec-2022 04:54     79K
cryptominisat_5.11.4+dfsg1-2build1_s390x.deb       26-Dec-2022 03:27     75K
cryptominisat_5.11.4+dfsg1.orig.tar.xz             06-Nov-2022 10:16    518K
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz          23-Feb-2022 06:24    6264
cryptominisat_5.8.0+dfsg1-2.dsc                    23-Feb-2022 06:24    2408
cryptominisat_5.8.0+dfsg1-2_arm64.deb              23-Feb-2022 06:45     87K
cryptominisat_5.8.0+dfsg1-2_armhf.deb              23-Feb-2022 06:45     87K
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb            23-Feb-2022 06:46     97K
cryptominisat_5.8.0+dfsg1-2_riscv64.deb            23-Feb-2022 09:29     94K
cryptominisat_5.8.0+dfsg1-2_s390x.deb              23-Feb-2022 06:46     88K
cryptominisat_5.8.0+dfsg1.orig.tar.xz              14-Jul-2020 00:24    441K
libcryptominisat5-5.11_5.11.4+dfsg1-2_arm64.deb    05-Dec-2022 23:25    416K
libcryptominisat5-5.11_5.11.4+dfsg1-2_armhf.deb    05-Dec-2022 23:25    495K
libcryptominisat5-5.11_5.11.4+dfsg1-2_ppc64el.deb  05-Dec-2022 23:25    481K
libcryptominisat5-5.11_5.11.4+dfsg1-2_riscv64.deb  05-Dec-2022 23:25    535K
libcryptominisat5-5.11_5.11.4+dfsg1-2_s390x.deb    05-Dec-2022 23:25    421K
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> 26-Dec-2022 03:26    416K
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> 26-Dec-2022 03:27    495K
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ppc..> 26-Dec-2022 03:27    481K
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ris..> 26-Dec-2022 04:54    535K
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_s39..> 26-Dec-2022 03:27    421K
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb      23-Feb-2022 06:45    366K
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb      23-Feb-2022 06:45    416K
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb    23-Feb-2022 06:46    462K
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb    23-Feb-2022 09:29    449K
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb      23-Feb-2022 06:46    365K
libcryptominisat5-dev_5.11.4+dfsg1-2_arm64.deb     05-Dec-2022 23:25     17K
libcryptominisat5-dev_5.11.4+dfsg1-2_armhf.deb     05-Dec-2022 23:25     17K
libcryptominisat5-dev_5.11.4+dfsg1-2_ppc64el.deb   05-Dec-2022 23:25     17K
libcryptominisat5-dev_5.11.4+dfsg1-2_riscv64.deb   05-Dec-2022 23:25     17K
libcryptominisat5-dev_5.11.4+dfsg1-2_s390x.deb     05-Dec-2022 23:25     17K
libcryptominisat5-dev_5.11.4+dfsg1-2build1_arm6..> 26-Dec-2022 03:26     17K
libcryptominisat5-dev_5.11.4+dfsg1-2build1_armh..> 26-Dec-2022 03:27     17K
libcryptominisat5-dev_5.11.4+dfsg1-2build1_ppc6..> 26-Dec-2022 03:27     17K
libcryptominisat5-dev_5.11.4+dfsg1-2build1_risc..> 26-Dec-2022 04:54     17K
libcryptominisat5-dev_5.11.4+dfsg1-2build1_s390..> 26-Dec-2022 03:27     17K
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb      23-Feb-2022 06:45     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb      23-Feb-2022 06:45     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb    23-Feb-2022 06:46     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb    23-Feb-2022 09:29     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb      23-Feb-2022 06:46     13K
python3-cryptominisat_5.11.4+dfsg1-2_arm64.deb     05-Dec-2022 23:25    507K
python3-cryptominisat_5.11.4+dfsg1-2_armhf.deb     05-Dec-2022 23:25    515K
python3-cryptominisat_5.11.4+dfsg1-2_ppc64el.deb   05-Dec-2022 23:25    620K
python3-cryptominisat_5.11.4+dfsg1-2_riscv64.deb   05-Dec-2022 23:25    561K
python3-cryptominisat_5.11.4+dfsg1-2_s390x.deb     05-Dec-2022 23:25    505K
python3-cryptominisat_5.11.4+dfsg1-2build1_arm6..> 26-Dec-2022 03:26    507K
python3-cryptominisat_5.11.4+dfsg1-2build1_armh..> 26-Dec-2022 03:27    515K
python3-cryptominisat_5.11.4+dfsg1-2build1_ppc6..> 26-Dec-2022 03:27    620K
python3-cryptominisat_5.11.4+dfsg1-2build1_risc..> 26-Dec-2022 04:54    561K
python3-cryptominisat_5.11.4+dfsg1-2build1_s390..> 26-Dec-2022 03:27    505K
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb      23-Feb-2022 06:45     19K
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb      23-Feb-2022 06:45     18K
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb    23-Feb-2022 06:46     20K
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb    23-Feb-2022 09:29     19K
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb      23-Feb-2022 06:46     19K