Index of /debian/pool/main/c/cryptominisat

 Name                                                     Last modified      Size  Description
 Parent Directory                                                              -   
 cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb                 2020-12-12 15:13   86K  
 cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb                 2020-12-12 13:00   81K  
 cryptominisat_5.8.0+dfsg1-1+b3_armel.deb                 2020-12-12 14:11   78K  
 cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb                 2020-12-12 16:26   80K  
 cryptominisat_5.8.0+dfsg1-1+b3_i386.deb                  2020-12-12 15:39   91K  
 cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb              2020-12-13 00:25   81K  
 cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb               2020-12-12 17:28   90K  
 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz                2020-07-11 16:16  6.0K  
 cryptominisat_5.8.0+dfsg1-1.dsc                          2020-07-11 16:16  2.4K  
 cryptominisat_5.8.0+dfsg1.orig.tar.xz                    2020-07-11 16:16  441K  
 cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb                2023-01-03 07:27   75K  
 cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb                2023-01-03 07:58   69K  
 cryptominisat_5.11.4+dfsg1-2+b1_armel.deb                2023-01-03 07:59   66K  
 cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb                2023-01-03 07:58   67K  
 cryptominisat_5.11.4+dfsg1-2+b1_i386.deb                 2023-01-03 08:45   79K  
 cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb             2023-01-03 07:12   70K  
 cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb              2023-01-05 00:55   77K  
 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz               2022-11-03 20:09  5.2K  
 cryptominisat_5.11.4+dfsg1-2.dsc                         2022-11-03 20:09  2.4K  
 cryptominisat_5.11.4+dfsg1.orig.tar.xz                   2022-10-28 23:20  518K  
 cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb               2024-01-05 22:41   79K  
 cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb               2024-01-05 20:40   72K  
 cryptominisat_5.11.15+dfsg1-1+b2_armel.deb               2024-01-05 23:19   70K  
 cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb               2024-01-05 22:18   71K  
 cryptominisat_5.11.15+dfsg1-1+b2_i386.deb                2024-01-05 23:24   82K  
 cryptominisat_5.11.15+dfsg1-1+b2_mips64el.deb            2024-01-06 00:07   73K  
 cryptominisat_5.11.15+dfsg1-1+b2_ppc64el.deb             2024-01-05 21:40   80K  
 cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz            2024-02-28 00:23  5.5K  
 cryptominisat_5.11.15+dfsg1-1.1.dsc                      2024-02-28 00:23  2.5K  
 cryptominisat_5.11.15+dfsg1-1.1_amd64.deb                2024-02-28 00:54   79K  
 cryptominisat_5.11.15+dfsg1-1.1_arm64.deb                2024-02-28 01:04   72K  
 cryptominisat_5.11.15+dfsg1-1.1_armel.deb                2024-02-28 01:04   70K  
 cryptominisat_5.11.15+dfsg1-1.1_armhf.deb                2024-02-28 00:54   71K  
 cryptominisat_5.11.15+dfsg1-1.1_i386.deb                 2024-02-28 00:54   82K  
 cryptominisat_5.11.15+dfsg1-1.1_mips64el.deb             2024-02-28 01:20   73K  
 cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb              2024-02-28 00:54   80K  
 cryptominisat_5.11.15+dfsg1-1.1_riscv64.deb              2024-02-28 02:26   78K  
 cryptominisat_5.11.15+dfsg1-1.debian.tar.xz              2023-12-14 10:37  5.3K  
 cryptominisat_5.11.15+dfsg1-1.dsc                        2023-12-14 10:37  2.4K  
 cryptominisat_5.11.15+dfsg1.orig.tar.xz                  2023-12-14 10:37  464K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb         2020-12-12 15:13  406K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb         2020-12-12 13:00  370K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armel.deb         2020-12-12 14:11  366K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb         2020-12-12 16:26  376K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb          2020-12-12 15:39  432K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mips64el.deb      2020-12-13 00:25  389K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb       2020-12-12 17:28  445K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb       2023-01-03 07:27  490K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb       2023-01-03 07:58  440K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb       2023-01-03 07:59  432K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb       2023-01-03 07:58  450K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb        2023-01-03 08:45  516K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb    2023-01-03 07:12  463K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb     2023-01-05 00:55  530K  
 libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_amd64.deb      2024-01-05 22:41  494K  
 libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_arm64.deb      2024-01-05 20:40  449K  
 libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armel.deb      2024-01-05 23:19  439K  
 libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armhf.deb      2024-01-05 22:18  457K  
 libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_i386.deb       2024-01-05 23:24  519K  
 libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_mips64el.deb   2024-01-06 00:07  466K  
 libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_ppc64el.deb    2024-01-05 21:40  534K  
 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_amd64.deb    2024-02-28 00:54  494K  
 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_arm64.deb    2024-02-28 01:04  449K  
 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armel.deb    2024-02-28 01:04  439K  
 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armhf.deb    2024-02-28 00:54  457K  
 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_i386.deb     2024-02-28 00:54  519K  
 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_mips64el.deb 2024-02-28 01:20  466K  
 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_ppc64el.deb  2024-02-28 00:54  534K  
 libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_riscv64.deb  2024-02-28 02:26  527K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb         2020-12-12 15:13   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb         2020-12-12 13:00   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb         2020-12-12 14:11   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb         2020-12-12 16:26   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb          2020-12-12 15:39   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb      2020-12-13 00:25   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb       2020-12-12 17:28   14K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb        2023-01-03 07:27   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb        2023-01-03 07:58   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb        2023-01-03 07:59   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb        2023-01-03 07:58   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb         2023-01-03 08:45   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb     2023-01-03 07:12   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb      2023-01-05 00:55   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1+b2_amd64.deb       2024-01-05 22:41   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1+b2_arm64.deb       2024-01-05 20:40   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armel.deb       2024-01-05 23:19   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armhf.deb       2024-01-05 22:18   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1+b2_i386.deb        2024-01-05 23:24   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1+b2_mips64el.deb    2024-01-06 00:07   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1+b2_ppc64el.deb     2024-01-05 21:40   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1.1_amd64.deb        2024-02-28 00:54   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1.1_arm64.deb        2024-02-28 01:04   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1.1_armel.deb        2024-02-28 01:04   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1.1_armhf.deb        2024-02-28 00:54   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1.1_i386.deb         2024-02-28 00:54   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1.1_mips64el.deb     2024-02-28 01:20   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1.1_ppc64el.deb      2024-02-28 00:54   18K  
 libcryptominisat5-dev_5.11.15+dfsg1-1.1_riscv64.deb      2024-02-28 02:26   18K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb         2020-12-12 15:13   19K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb         2020-12-12 13:00   18K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb         2020-12-12 14:11   18K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb         2020-12-12 16:26   18K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb          2020-12-12 15:39   19K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb      2020-12-13 00:25   19K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb       2020-12-12 17:28   20K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb        2023-01-03 07:27  520K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb        2023-01-03 07:58  479K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb        2023-01-03 07:59  462K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb        2023-01-03 07:58  473K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb         2023-01-03 08:45  576K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb     2023-01-03 07:12  494K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb      2023-01-05 00:55  556K  
 python3-cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb       2024-01-05 22:41  516K  
 python3-cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb       2024-01-05 20:40  478K  
 python3-cryptominisat_5.11.15+dfsg1-1+b2_armel.deb       2024-01-05 23:19  460K  
 python3-cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb       2024-01-05 22:18  470K  
 python3-cryptominisat_5.11.15+dfsg1-1+b2_i386.deb        2024-01-05 23:24  572K  
 python3-cryptominisat_5.11.15+dfsg1-1+b2_mips64el.deb    2024-01-06 00:07  489K  
 python3-cryptominisat_5.11.15+dfsg1-1+b2_ppc64el.deb     2024-01-05 21:40  552K  
 python3-cryptominisat_5.11.15+dfsg1-1.1_amd64.deb        2024-02-28 00:54  516K  
 python3-cryptominisat_5.11.15+dfsg1-1.1_arm64.deb        2024-02-28 01:04  477K  
 python3-cryptominisat_5.11.15+dfsg1-1.1_armel.deb        2024-02-28 01:04  462K  
 python3-cryptominisat_5.11.15+dfsg1-1.1_armhf.deb        2024-02-28 00:54  471K  
 python3-cryptominisat_5.11.15+dfsg1-1.1_i386.deb         2024-02-28 00:54  571K  
 python3-cryptominisat_5.11.15+dfsg1-1.1_mips64el.deb     2024-02-28 01:20  489K  
 python3-cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb      2024-02-28 00:54  552K  
 python3-cryptominisat_5.11.15+dfsg1-1.1_riscv64.deb      2024-02-28 02:26  544K