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

 Name                                                          Last modified      Size  Description
 Parent Directory                                                                   -   
 cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz           2024-03-31 20:36  5.6K  
 cryptominisat_5.11.15+dfsg1-1.1build1.dsc                     2024-03-31 20:36  2.6K  
 cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb               2024-04-02 03:07   77K  
 cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb               2024-04-02 03:08   77K  
 cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb             2024-04-02 07:02   84K  
 cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb             2024-04-03 23:11   84K  
 cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb               2024-04-02 13:03   83K  
 cryptominisat_5.11.15+dfsg1.orig.tar.xz                       2023-12-14 18:37  464K  
 cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz              2022-12-25 21:25  5.3K  
 cryptominisat_5.11.4+dfsg1-2build1.dsc                        2022-12-25 21:25  2.4K  
 cryptominisat_5.11.4+dfsg1-2build1_arm64.deb                  2022-12-25 21:26   73K  
 cryptominisat_5.11.4+dfsg1-2build1_armhf.deb                  2022-12-25 21:27   73K  
 cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb                2022-12-25 21:27   80K  
 cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb                2022-12-25 22:54   79K  
 cryptominisat_5.11.4+dfsg1-2build1_s390x.deb                  2022-12-25 21:27   75K  
 cryptominisat_5.11.4+dfsg1-3.debian.tar.xz                    2023-07-15 07:38  6.6K  
 cryptominisat_5.11.4+dfsg1-3.dsc                              2023-07-15 07:38  2.4K  
 cryptominisat_5.11.4+dfsg1-3_arm64.deb                        2023-07-15 07:39   75K  
 cryptominisat_5.11.4+dfsg1-3_armhf.deb                        2023-07-15 07:39   75K  
 cryptominisat_5.11.4+dfsg1-3_ppc64el.deb                      2023-07-15 07:39   81K  
 cryptominisat_5.11.4+dfsg1-3_riscv64.deb                      2023-07-16 10:40   82K  
 cryptominisat_5.11.4+dfsg1-3_s390x.deb                        2023-07-15 07:39   80K  
 cryptominisat_5.11.4+dfsg1.orig.tar.xz                        2022-11-06 04:16  518K  
 cryptominisat_5.8.0+dfsg1-2.debian.tar.xz                     2022-02-23 00:24  6.1K  
 cryptominisat_5.8.0+dfsg1-2.dsc                               2022-02-23 00:24  2.4K  
 cryptominisat_5.8.0+dfsg1-2_arm64.deb                         2022-02-23 00:45   87K  
 cryptominisat_5.8.0+dfsg1-2_armhf.deb                         2022-02-23 00:45   87K  
 cryptominisat_5.8.0+dfsg1-2_ppc64el.deb                       2022-02-23 00:46   97K  
 cryptominisat_5.8.0+dfsg1-2_riscv64.deb                       2022-02-23 03:29   94K  
 cryptominisat_5.8.0+dfsg1-2_s390x.deb                         2022-02-23 00:46   88K  
 cryptominisat_5.8.0+dfsg1.orig.tar.xz                         2020-07-13 19:24  441K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm64.deb         2022-12-25 21:26  416K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2build1_armhf.deb         2022-12-25 21:27  495K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ppc64el.deb       2022-12-25 21:27  481K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2build1_riscv64.deb       2022-12-25 22:54  535K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2build1_s390x.deb         2022-12-25 21:27  421K  
 libcryptominisat5-5.11_5.11.4+dfsg1-3_arm64.deb               2023-07-15 07:39  421K  
 libcryptominisat5-5.11_5.11.4+dfsg1-3_armhf.deb               2023-07-15 07:39  502K  
 libcryptominisat5-5.11_5.11.4+dfsg1-3_ppc64el.deb             2023-07-15 07:39  485K  
 libcryptominisat5-5.11_5.11.4+dfsg1-3_riscv64.deb             2023-07-16 10:40  571K  
 libcryptominisat5-5.11_5.11.4+dfsg1-3_s390x.deb               2023-07-15 07:39  496K  
 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb   2024-04-02 03:07  425K  
 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb   2024-04-02 03:08  510K  
 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb 2024-04-02 07:02  492K  
 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb 2024-04-03 23:11  573K  
 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_s390x.deb   2024-04-02 13:03  497K  
 libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb                 2022-02-23 00:45  366K  
 libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb                 2022-02-23 00:45  416K  
 libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb               2022-02-23 00:46  462K  
 libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb               2022-02-23 03:29  449K  
 libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb                 2022-02-23 00:46  365K  
 libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb       2024-04-02 03:07   17K  
 libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb       2024-04-02 03:08   17K  
 libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb     2024-04-02 07:02   17K  
 libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb     2024-04-03 23:11   17K  
 libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s390x.deb       2024-04-02 13:03   17K  
 libcryptominisat5-dev_5.11.4+dfsg1-2build1_arm64.deb          2022-12-25 21:26   17K  
 libcryptominisat5-dev_5.11.4+dfsg1-2build1_armhf.deb          2022-12-25 21:27   17K  
 libcryptominisat5-dev_5.11.4+dfsg1-2build1_ppc64el.deb        2022-12-25 21:27   17K  
 libcryptominisat5-dev_5.11.4+dfsg1-2build1_riscv64.deb        2022-12-25 22:54   17K  
 libcryptominisat5-dev_5.11.4+dfsg1-2build1_s390x.deb          2022-12-25 21:27   17K  
 libcryptominisat5-dev_5.11.4+dfsg1-3_arm64.deb                2023-07-15 07:39   17K  
 libcryptominisat5-dev_5.11.4+dfsg1-3_armhf.deb                2023-07-15 07:39   17K  
 libcryptominisat5-dev_5.11.4+dfsg1-3_ppc64el.deb              2023-07-15 07:39   17K  
 libcryptominisat5-dev_5.11.4+dfsg1-3_riscv64.deb              2023-07-16 10:40   17K  
 libcryptominisat5-dev_5.11.4+dfsg1-3_s390x.deb                2023-07-15 07:39   17K  
 libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb                 2022-02-23 00:45   13K  
 libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb                 2022-02-23 00:45   13K  
 libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb               2022-02-23 00:46   13K  
 libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb               2022-02-23 03:29   13K  
 libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb                 2022-02-23 00:46   13K  
 python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb       2024-04-02 03:07  507K  
 python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb       2024-04-02 03:08  512K  
 python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb     2024-04-02 07:02  620K  
 python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb     2024-04-03 23:11  593K  
 python3-cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb       2024-04-02 13:03  580K  
 python3-cryptominisat_5.11.4+dfsg1-2build1_arm64.deb          2022-12-25 21:26  507K  
 python3-cryptominisat_5.11.4+dfsg1-2build1_armhf.deb          2022-12-25 21:27  515K  
 python3-cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb        2022-12-25 21:27  620K  
 python3-cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb        2022-12-25 22:54  561K  
 python3-cryptominisat_5.11.4+dfsg1-2build1_s390x.deb          2022-12-25 21:27  505K  
 python3-cryptominisat_5.11.4+dfsg1-3_arm64.deb                2023-07-15 07:39  513K  
 python3-cryptominisat_5.11.4+dfsg1-3_armhf.deb                2023-07-15 07:39  522K  
 python3-cryptominisat_5.11.4+dfsg1-3_ppc64el.deb              2023-07-15 07:39  617K  
 python3-cryptominisat_5.11.4+dfsg1-3_riscv64.deb              2023-07-16 10:40  592K  
 python3-cryptominisat_5.11.4+dfsg1-3_s390x.deb                2023-07-15 07:39  585K  
 python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb                 2022-02-23 00:45   19K  
 python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb                 2022-02-23 00:45   18K  
 python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb               2022-02-23 00:46   20K  
 python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb               2022-02-23 03:29   19K  
 python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb                 2022-02-23 00:46   19K