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


../
cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb         06-Jan-2024 04:41     79K
cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb         06-Jan-2024 02:40     72K
cryptominisat_5.11.15+dfsg1-1+b2_armel.deb         06-Jan-2024 05:19     70K
cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb         06-Jan-2024 04:18     71K
cryptominisat_5.11.15+dfsg1-1+b2_i386.deb          06-Jan-2024 05:24     82K
cryptominisat_5.11.15+dfsg1-1+b2_mips64el.deb      06-Jan-2024 06:07     73K
cryptominisat_5.11.15+dfsg1-1+b2_ppc64el.deb       06-Jan-2024 03:40     80K
cryptominisat_5.11.15+dfsg1-1+b2_s390x.deb         06-Jan-2024 13:38     77K
cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz      28-Feb-2024 06:23    5608
cryptominisat_5.11.15+dfsg1-1.1.dsc                28-Feb-2024 06:23    2510
cryptominisat_5.11.15+dfsg1-1.1_amd64.deb          28-Feb-2024 06:54     79K
cryptominisat_5.11.15+dfsg1-1.1_arm64.deb          28-Feb-2024 07:04     72K
cryptominisat_5.11.15+dfsg1-1.1_armel.deb          28-Feb-2024 07:04     70K
cryptominisat_5.11.15+dfsg1-1.1_armhf.deb          28-Feb-2024 06:54     71K
cryptominisat_5.11.15+dfsg1-1.1_i386.deb           28-Feb-2024 06:54     82K
cryptominisat_5.11.15+dfsg1-1.1_mips64el.deb       28-Feb-2024 07:20     73K
cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb        28-Feb-2024 06:54     80K
cryptominisat_5.11.15+dfsg1-1.1_s390x.deb          28-Feb-2024 06:49     76K
cryptominisat_5.11.15+dfsg1-1.debian.tar.xz        14-Dec-2023 16:37    5400
cryptominisat_5.11.15+dfsg1-1.dsc                  14-Dec-2023 16:37    2470
cryptominisat_5.11.15+dfsg1.orig.tar.xz            14-Dec-2023 16:37    464K
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb          03-Jan-2023 13:27     75K
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb          03-Jan-2023 13:58     69K
cryptominisat_5.11.4+dfsg1-2+b1_armel.deb          03-Jan-2023 13:59     66K
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb          03-Jan-2023 13:58     67K
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb           03-Jan-2023 14:45     79K
cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb       03-Jan-2023 13:12     70K
cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb         03-Jan-2023 13:43     71K
cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb        05-Jan-2023 06:55     77K
cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb          06-Jan-2023 07:56     69K
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz         04-Nov-2022 02:09    5360
cryptominisat_5.11.4+dfsg1-2.dsc                   04-Nov-2022 02:09    2459
cryptominisat_5.11.4+dfsg1.orig.tar.xz             29-Oct-2022 04:20    518K
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb           12-Dec-2020 21:13     86K
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb           12-Dec-2020 19:00     81K
cryptominisat_5.8.0+dfsg1-1+b3_armel.deb           12-Dec-2020 20:11     78K
cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb           12-Dec-2020 22:26     80K
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb            12-Dec-2020 21:39     91K
cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb        13-Dec-2020 06:25     81K
cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb          13-Dec-2020 17:56     83K
cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb         12-Dec-2020 23:28     90K
cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb           13-Dec-2020 04:57     81K
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz          11-Jul-2020 21:16    6188
cryptominisat_5.8.0+dfsg1-1.dsc                    11-Jul-2020 21:16    2408
cryptominisat_5.8.0+dfsg1.orig.tar.xz              11-Jul-2020 21:16    441K
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_amd64..> 06-Jan-2024 04:41    494K
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_arm64..> 06-Jan-2024 02:40    449K
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armel..> 06-Jan-2024 05:19    439K
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armhf..> 06-Jan-2024 04:18    457K
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_i386.deb 06-Jan-2024 05:24    519K
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_mips6..> 06-Jan-2024 06:07    466K
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_ppc64..> 06-Jan-2024 03:40    534K
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_s390x..> 06-Jan-2024 13:38    529K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb 03-Jan-2023 13:27    490K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb 03-Jan-2023 13:58    440K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb 03-Jan-2023 13:59    432K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb 03-Jan-2023 13:58    450K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb  03-Jan-2023 14:45    516K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64..> 03-Jan-2023 13:12    463K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel..> 03-Jan-2023 13:43    477K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64e..> 05-Jan-2023 06:55    530K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb 06-Jan-2023 07:56    449K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_amd..> 28-Feb-2024 06:54    494K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_arm..> 28-Feb-2024 07:04    449K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_arm..> 28-Feb-2024 07:04    439K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_arm..> 28-Feb-2024 06:54    457K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_i38..> 28-Feb-2024 06:54    519K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_mip..> 28-Feb-2024 07:20    466K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_ppc..> 28-Feb-2024 06:54    534K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_s39..> 28-Feb-2024 06:49    529K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb   12-Dec-2020 21:13    406K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb   12-Dec-2020 19:00    370K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armel.deb   12-Dec-2020 20:11    366K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb   12-Dec-2020 22:26    376K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb    12-Dec-2020 21:39    432K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mips64el..> 13-Dec-2020 06:25    389K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mipsel.deb  13-Dec-2020 17:56    405K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb 12-Dec-2020 23:28    445K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_s390x.deb   13-Dec-2020 04:57    372K
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_amd64.deb 06-Jan-2024 04:41     18K
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_arm64.deb 06-Jan-2024 02:40     18K
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armel.deb 06-Jan-2024 05:19     18K
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armhf.deb 06-Jan-2024 04:18     18K
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_i386.deb  06-Jan-2024 05:24     18K
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_mips64..> 06-Jan-2024 06:07     18K
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_ppc64e..> 06-Jan-2024 03:40     18K
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_s390x.deb 06-Jan-2024 13:38     18K
libcryptominisat5-dev_5.11.15+dfsg1-1.1_amd64.deb  28-Feb-2024 06:54     18K
libcryptominisat5-dev_5.11.15+dfsg1-1.1_arm64.deb  28-Feb-2024 07:04     18K
libcryptominisat5-dev_5.11.15+dfsg1-1.1_armel.deb  28-Feb-2024 07:04     18K
libcryptominisat5-dev_5.11.15+dfsg1-1.1_armhf.deb  28-Feb-2024 06:54     18K
libcryptominisat5-dev_5.11.15+dfsg1-1.1_i386.deb   28-Feb-2024 06:54     18K
libcryptominisat5-dev_5.11.15+dfsg1-1.1_mips64e..> 28-Feb-2024 07:20     18K
libcryptominisat5-dev_5.11.15+dfsg1-1.1_ppc64el..> 28-Feb-2024 06:54     18K
libcryptominisat5-dev_5.11.15+dfsg1-1.1_s390x.deb  28-Feb-2024 06:49     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb  03-Jan-2023 13:27     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb  03-Jan-2023 13:58     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb  03-Jan-2023 13:59     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb  03-Jan-2023 13:58     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb   03-Jan-2023 14:45     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64e..> 03-Jan-2023 13:12     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb 03-Jan-2023 13:43     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el..> 05-Jan-2023 06:55     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb  06-Jan-2023 07:56     18K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb   12-Dec-2020 21:13     14K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb   12-Dec-2020 19:00     14K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb   12-Dec-2020 20:11     14K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb   12-Dec-2020 22:26     14K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb    12-Dec-2020 21:39     14K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el..> 13-Dec-2020 06:25     14K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb  13-Dec-2020 17:56     14K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb 12-Dec-2020 23:28     14K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb   13-Dec-2020 04:57     14K
python3-cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb 06-Jan-2024 04:41    516K
python3-cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb 06-Jan-2024 02:40    478K
python3-cryptominisat_5.11.15+dfsg1-1+b2_armel.deb 06-Jan-2024 05:19    460K
python3-cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb 06-Jan-2024 04:18    470K
python3-cryptominisat_5.11.15+dfsg1-1+b2_i386.deb  06-Jan-2024 05:24    572K
python3-cryptominisat_5.11.15+dfsg1-1+b2_mips64..> 06-Jan-2024 06:07    489K
python3-cryptominisat_5.11.15+dfsg1-1+b2_ppc64e..> 06-Jan-2024 03:40    552K
python3-cryptominisat_5.11.15+dfsg1-1+b2_s390x.deb 06-Jan-2024 13:38    551K
python3-cryptominisat_5.11.15+dfsg1-1.1_amd64.deb  28-Feb-2024 06:54    516K
python3-cryptominisat_5.11.15+dfsg1-1.1_arm64.deb  28-Feb-2024 07:04    477K
python3-cryptominisat_5.11.15+dfsg1-1.1_armel.deb  28-Feb-2024 07:04    462K
python3-cryptominisat_5.11.15+dfsg1-1.1_armhf.deb  28-Feb-2024 06:54    471K
python3-cryptominisat_5.11.15+dfsg1-1.1_i386.deb   28-Feb-2024 06:54    571K
python3-cryptominisat_5.11.15+dfsg1-1.1_mips64e..> 28-Feb-2024 07:20    489K
python3-cryptominisat_5.11.15+dfsg1-1.1_ppc64el..> 28-Feb-2024 06:54    552K
python3-cryptominisat_5.11.15+dfsg1-1.1_s390x.deb  28-Feb-2024 06:49    550K
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb  03-Jan-2023 13:27    520K
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb  03-Jan-2023 13:58    479K
python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb  03-Jan-2023 13:59    462K
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb  03-Jan-2023 13:58    473K
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb   03-Jan-2023 14:45    576K
python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64e..> 03-Jan-2023 13:12    494K
python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb 03-Jan-2023 13:43    511K
python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el..> 05-Jan-2023 06:55    556K
python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb  06-Jan-2023 07:56    483K
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb   12-Dec-2020 21:13     19K
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb   12-Dec-2020 19:00     18K
python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb   12-Dec-2020 20:11     18K
python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb   12-Dec-2020 22:26     18K
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb    12-Dec-2020 21:39     19K
python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el..> 13-Dec-2020 06:25     19K
python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb  13-Dec-2020 17:56     19K
python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb 12-Dec-2020 23:28     20K
python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb   13-Dec-2020 04:57     18K