Index of /sites/ftp.uk.debian.org/debian/pool/main/c/cryptominisat/

 Name                                                      Last modified      Size  
 Parent Directory                                                               -   
 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_armel.deb                  2020-12-12 13:11   78K  
 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+b3_mips64el.deb               2020-12-12 23:25   81K  
 cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb                 2020-12-13 10:56   83K  
 cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb                2020-12-12 16:28   90K  
 cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb                  2020-12-12 21:57   81K  
 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz                 2020-07-11 15:16  6.0K  
 cryptominisat_5.8.0+dfsg1-1.dsc                           2020-07-11 15:16  2.4K  
 cryptominisat_5.8.0+dfsg1.orig.tar.xz                     2020-07-11 15:16  441K  
 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 22:20  518K  
 cryptominisat_5.11.21+dfsg1-1+b2_amd64.deb                2024-10-28 16:52   89K  
 cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb                2024-10-29 02:43   79K  
 cryptominisat_5.11.21+dfsg1-1+b2_armel.deb                2024-10-28 22:47   78K  
 cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb                2024-10-28 20:13   81K  
 cryptominisat_5.11.21+dfsg1-1+b2_i386.deb                 2024-10-28 17:41   95K  
 cryptominisat_5.11.21+dfsg1-1+b2_mips64el.deb             2024-10-29 05:41   82K  
 cryptominisat_5.11.21+dfsg1-1+b2_ppc64el.deb              2024-10-28 16:41   89K  
 cryptominisat_5.11.21+dfsg1-1+b2_riscv64.deb              2024-10-29 03:53   87K  
 cryptominisat_5.11.21+dfsg1-1+b2_s390x.deb                2024-10-29 11:54   86K  
 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz               2024-05-03 07:30  6.5K  
 cryptominisat_5.11.21+dfsg1-1.dsc                         2024-05-03 07:30  2.4K  
 cryptominisat_5.11.21+dfsg1.orig.tar.xz                   2024-05-03 07:30  470K  
 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_armel.deb          2020-12-12 13:11  366K  
 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-5.8_5.8.0+dfsg1-1+b3_mips64el.deb       2020-12-12 23:25  389K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mipsel.deb         2020-12-13 10:56  405K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb        2020-12-12 16:28  445K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_s390x.deb          2020-12-12 21:57  372K  
 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-1+b2_amd64.deb    2024-10-28 16:52  509K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_arm64.deb    2024-10-29 02:43  461K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_armel.deb    2024-10-28 22:47  448K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_armhf.deb    2024-10-28 20:13  465K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_i386.deb     2024-10-28 17:41  535K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_mips64el.deb 2024-10-29 05:41  472K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_ppc64el.deb  2024-10-28 16:41  541K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_riscv64.deb  2024-10-29 03:53  534K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_s390x.deb    2024-10-29 11:54  537K  
 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_armel.deb          2020-12-12 13:11   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  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb       2020-12-12 23:25   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb         2020-12-13 10:56   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb        2020-12-12 16:28   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb          2020-12-12 21:57   14K  
 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.11.21+dfsg1-1+b2_amd64.deb        2024-10-28 16:52   19K  
 libcryptominisat5-dev_5.11.21+dfsg1-1+b2_arm64.deb        2024-10-29 02:43   19K  
 libcryptominisat5-dev_5.11.21+dfsg1-1+b2_armel.deb        2024-10-28 22:47   19K  
 libcryptominisat5-dev_5.11.21+dfsg1-1+b2_armhf.deb        2024-10-28 20:13   19K  
 libcryptominisat5-dev_5.11.21+dfsg1-1+b2_i386.deb         2024-10-28 17:41   19K  
 libcryptominisat5-dev_5.11.21+dfsg1-1+b2_mips64el.deb     2024-10-29 05:41   19K  
 libcryptominisat5-dev_5.11.21+dfsg1-1+b2_ppc64el.deb      2024-10-28 16:41   19K  
 libcryptominisat5-dev_5.11.21+dfsg1-1+b2_riscv64.deb      2024-10-29 03:53   19K  
 libcryptominisat5-dev_5.11.21+dfsg1-1+b2_s390x.deb        2024-10-29 11:54   19K  
 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_armel.deb          2020-12-12 13:11   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  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb       2020-12-12 23:25   19K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb         2020-12-13 10:56   19K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb        2020-12-12 16:28   20K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb          2020-12-12 21:57   18K  
 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.11.21+dfsg1-1+b2_amd64.deb        2024-10-28 16:52  577K  
 python3-cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb        2024-10-29 02:43  529K  
 python3-cryptominisat_5.11.21+dfsg1-1+b2_armel.deb        2024-10-28 22:47  511K  
 python3-cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb        2024-10-28 20:13  524K  
 python3-cryptominisat_5.11.21+dfsg1-1+b2_i386.deb         2024-10-28 17:41  632K  
 python3-cryptominisat_5.11.21+dfsg1-1+b2_mips64el.deb     2024-10-29 05:41  532K  
 python3-cryptominisat_5.11.21+dfsg1-1+b2_ppc64el.deb      2024-10-28 16:41  603K  
 python3-cryptominisat_5.11.21+dfsg1-1+b2_riscv64.deb      2024-10-29 03:53  598K  
 python3-cryptominisat_5.11.21+dfsg1-1+b2_s390x.deb        2024-10-29 11:54  599K