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


../
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz                                                                      31-Mar-2024 18:36    5720
cryptominisat_5.11.15+dfsg1-1.1build1.dsc                                                                                31-Mar-2024 18:36    2621
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.15+dfsg1-1.1build1_ppc64el.deb                                                                        02-Apr-2024 05:02     84K
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb                                                                        03-Apr-2024 21:11     84K
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb                                                                          02-Apr-2024 11:03     83K
cryptominisat_5.11.15+dfsg1.orig.tar.xz                                                                                  14-Dec-2023 17:37    464K
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz                                                                              03-May-2024 11:29    6620
cryptominisat_5.11.21+dfsg1-1.dsc                                                                                        03-May-2024 11:29    2498
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.21+dfsg1-1_ppc64el.deb                                                                                03-May-2024 12:05     93K
cryptominisat_5.11.21+dfsg1-1_riscv64.deb                                                                                05-May-2024 11:18     94K
cryptominisat_5.11.21+dfsg1-1_s390x.deb                                                                                  03-May-2024 12:40     93K
cryptominisat_5.11.21+dfsg1.orig.tar.xz                                                                                  03-May-2024 11:29    470K
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz                                                                                22-Feb-2022 23:24    6264
cryptominisat_5.8.0+dfsg1-2.dsc                                                                                          22-Feb-2022 23:24    2408
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-2_ppc64el.deb                                                                                  22-Feb-2022 23:46     97K
cryptominisat_5.8.0+dfsg1-2_riscv64.deb                                                                                  23-Feb-2022 02:29     94K
cryptominisat_5.8.0+dfsg1-2_s390x.deb                                                                                    22-Feb-2022 23:46     88K
cryptominisat_5.8.0+dfsg1.orig.tar.xz                                                                                    13-Jul-2020 17:24    441K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb                                                              02-Apr-2024 01:07    425K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb                                                              02-Apr-2024 01:08    510K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb                                                            02-Apr-2024 05:02    492K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb                                                            03-Apr-2024 21:11    573K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_s390x.deb                                                              02-Apr-2024 11:03    497K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb                                                                      05-May-2024 17:38    426K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb                                                                      09-May-2024 11:31    501K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64el.deb                                                                    03-May-2024 12:05    490K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv64.deb                                                                    05-May-2024 11:18    572K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x.deb                                                                      03-May-2024 12:40    495K
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-5.8_5.8.0+dfsg1-2_ppc64el.deb                                                                          22-Feb-2022 23:46    462K
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb                                                                          23-Feb-2022 02:29    449K
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb                                                                            22-Feb-2022 23:46    365K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb                                                                  02-Apr-2024 01:07     17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb                                                                  02-Apr-2024 01:08     17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb                                                                02-Apr-2024 05:02     17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb                                                                03-Apr-2024 21:11     17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s390x.deb                                                                  02-Apr-2024 11:03     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.21+dfsg1-1_ppc64el.deb                                                                        03-May-2024 12:05     17K
libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb                                                                        05-May-2024 11:18     17K
libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb                                                                          03-May-2024 12:40     17K
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
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb                                                                          22-Feb-2022 23:46     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb                                                                          23-Feb-2022 02:29     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb                                                                            22-Feb-2022 23:46     13K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb                                                                  02-Apr-2024 01:07    507K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb                                                                  02-Apr-2024 01:08    512K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb                                                                02-Apr-2024 05:02    620K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb                                                                03-Apr-2024 21:11    593K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb                                                                  02-Apr-2024 11:03    580K
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.21+dfsg1-1_ppc64el.deb                                                                        03-May-2024 12:05    613K
python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb                                                                        05-May-2024 11:18    592K
python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb                                                                          03-May-2024 12:40    573K
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
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb                                                                          22-Feb-2022 23:46     20K
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb                                                                          23-Feb-2022 02:29     19K
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb                                                                            22-Feb-2022 23:46     19K