Name                                                     Last modified      Size  Description
 Parent Directory                                                              -   
 cryptominisat_5.11.21+dfsg1-2.debian.tar.xz              2025-05-24 22:55  6.5K  
 cryptominisat_5.11.21+dfsg1-2.dsc                        2025-05-24 22:55  2.5K  
 cryptominisat_5.11.21+dfsg1-2_amd64.deb                  2025-05-24 23:21   89K  
 cryptominisat_5.11.21+dfsg1-2_arm64.deb                  2025-05-24 23:32   79K  
 cryptominisat_5.11.21+dfsg1-2_armel.deb                  2025-05-24 23:21   79K  
 cryptominisat_5.11.21+dfsg1-2_armhf.deb                  2025-05-24 23:21   82K  
 cryptominisat_5.11.21+dfsg1-2_i386.deb                   2025-05-24 23:21   95K  
 cryptominisat_5.11.21+dfsg1-2_ppc64el.deb                2025-05-24 23:21   89K  
 cryptominisat_5.11.21+dfsg1-2_riscv64.deb                2025-05-25 00:08   87K  
 cryptominisat_5.11.21+dfsg1-2_s390x.deb                  2025-05-24 23:21   86K  
 cryptominisat_5.11.21+dfsg1-3+b3_amd64.deb               2026-06-27 18:48   88K  
 cryptominisat_5.11.21+dfsg1-3+b3_arm64.deb               2026-06-27 18:27   78K  
 cryptominisat_5.11.21+dfsg1-3+b3_armhf.deb               2026-06-27 18:27   81K  
 cryptominisat_5.11.21+dfsg1-3+b3_i386.deb                2026-06-27 19:19   96K  
 cryptominisat_5.11.21+dfsg1-3+b3_loong64.deb             2026-06-27 18:53   83K  
 cryptominisat_5.11.21+dfsg1-3+b3_ppc64el.deb             2026-06-28 09:32   88K  
 cryptominisat_5.11.21+dfsg1-3+b3_riscv64.deb             2026-06-27 19:40   87K  
 cryptominisat_5.11.21+dfsg1-3+b3_s390x.deb               2026-06-28 07:13   86K  
 cryptominisat_5.11.21+dfsg1-3.debian.tar.xz              2025-08-13 06:03  6.9K  
 cryptominisat_5.11.21+dfsg1-3.dsc                        2025-08-13 06:03  2.4K  
 cryptominisat_5.11.21+dfsg1.orig.tar.xz                  2024-05-03 06:30  470K  
 cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb                2023-01-03 06:27   75K  
 cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb                2023-01-03 06:58   69K  
 cryptominisat_5.11.4+dfsg1-2+b1_armel.deb                2023-01-03 06:59   66K  
 cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb                2023-01-03 06:58   67K  
 cryptominisat_5.11.4+dfsg1-2+b1_i386.deb                 2023-01-03 07:45   79K  
 cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb             2023-01-03 06:12   70K  
 cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb               2023-01-03 06:43   71K  
 cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb              2023-01-04 23:55   77K  
 cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb                2023-01-06 00:56   69K  
 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz               2022-11-03 19:09  5.2K  
 cryptominisat_5.11.4+dfsg1-2.dsc                         2022-11-03 19:09  2.4K  
 cryptominisat_5.11.4+dfsg1.orig.tar.xz                   2022-10-28 21:20  518K  
 cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb                 2020-12-12 14:13   86K  
 cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb                 2020-12-12 12:00   81K  
 cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb                 2020-12-12 15:26   80K  
 cryptominisat_5.8.0+dfsg1-1+b3_i386.deb                  2020-12-12 14:39   91K  
 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz                2020-07-11 14:16  6.0K  
 cryptominisat_5.8.0+dfsg1-1.dsc                          2020-07-11 14:16  2.4K  
 cryptominisat_5.8.0+dfsg1.orig.tar.xz                    2020-07-11 14:16  441K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb       2023-01-03 06:27  490K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb       2023-01-03 06:58  440K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb       2023-01-03 06:59  432K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb       2023-01-03 06:58  450K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb        2023-01-03 07:45  516K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb    2023-01-03 06:12  463K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb      2023-01-03 06:43  477K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb     2023-01-04 23:55  530K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb       2023-01-06 00:56  449K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb      2025-05-24 23:21  509K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb      2025-05-24 23:32  461K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armel.deb      2025-05-24 23:21  443K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb      2025-05-24 23:21  463K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb       2025-05-24 23:21  536K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb    2025-05-24 23:21  543K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv64.deb    2025-05-25 00:08  534K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb      2025-05-24 23:21  534K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_amd64.deb   2026-06-27 18:48  510K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_arm64.deb   2026-06-27 18:27  449K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_armhf.deb   2026-06-27 18:27  461K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_i386.deb    2026-06-27 19:19  533K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_loong64.deb 2026-06-27 18:53  500K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_ppc64el.deb 2026-06-28 09:32  557K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_riscv64.deb 2026-06-27 19:40  535K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_s390x.deb   2026-06-28 07:13  533K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb         2020-12-12 14:13  406K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb         2020-12-12 12:00  370K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb         2020-12-12 15:26  376K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb          2020-12-12 14:39  432K  
 libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb          2025-05-24 23:21   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb          2025-05-24 23:32   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-2_armel.deb          2025-05-24 23:21   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb          2025-05-24 23:21   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb           2025-05-24 23:21   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb        2025-05-24 23:21   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb        2025-05-25 00:08   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb          2025-05-24 23:21   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_amd64.deb       2026-06-27 18:48   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_arm64.deb       2026-06-27 18:27   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_armhf.deb       2026-06-27 18:27   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_i386.deb        2026-06-27 19:19   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_loong64.deb     2026-06-27 18:53   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_ppc64el.deb     2026-06-28 09:32   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_riscv64.deb     2026-06-27 19:40   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_s390x.deb       2026-06-28 07:13   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb        2023-01-03 06:27   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb        2023-01-03 06:58   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb        2023-01-03 06:59   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb        2023-01-03 06:58   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb         2023-01-03 07:45   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb     2023-01-03 06:12   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb       2023-01-03 06:43   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb      2023-01-04 23:55   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb        2023-01-06 00:56   18K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb         2020-12-12 14:13   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb         2020-12-12 12:00   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb         2020-12-12 15:26   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb          2020-12-12 14:39   14K  
 python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb          2025-05-24 23:21  583K  
 python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb          2025-05-24 23:32  535K  
 python3-cryptominisat_5.11.21+dfsg1-2_armel.deb          2025-05-24 23:21  516K  
 python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb          2025-05-24 23:21  529K  
 python3-cryptominisat_5.11.21+dfsg1-2_i386.deb           2025-05-24 23:21  640K  
 python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb        2025-05-24 23:21  612K  
 python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb        2025-05-25 00:08  606K  
 python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb          2025-05-24 23:21  603K  
 python3-cryptominisat_5.11.21+dfsg1-3+b3_amd64.deb       2026-06-27 18:48  585K  
 python3-cryptominisat_5.11.21+dfsg1-3+b3_arm64.deb       2026-06-27 18:27  524K  
 python3-cryptominisat_5.11.21+dfsg1-3+b3_armhf.deb       2026-06-27 18:27  528K  
 python3-cryptominisat_5.11.21+dfsg1-3+b3_i386.deb        2026-06-27 19:19  635K  
 python3-cryptominisat_5.11.21+dfsg1-3+b3_loong64.deb     2026-06-27 18:53  575K  
 python3-cryptominisat_5.11.21+dfsg1-3+b3_ppc64el.deb     2026-06-28 09:32  626K  
 python3-cryptominisat_5.11.21+dfsg1-3+b3_riscv64.deb     2026-06-27 19:40  606K  
 python3-cryptominisat_5.11.21+dfsg1-3+b3_s390x.deb       2026-06-28 07:13  602K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb        2023-01-03 06:27  520K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb        2023-01-03 06:58  479K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb        2023-01-03 06:59  462K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb        2023-01-03 06:58  473K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb         2023-01-03 07:45  576K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb     2023-01-03 06:12  494K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb       2023-01-03 06:43  511K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb      2023-01-04 23:55  556K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb        2023-01-06 00:56  483K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb         2020-12-12 14:13   19K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb         2020-12-12 12:00   18K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb         2020-12-12 15:26   18K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb          2020-12-12 14:39   19K