Welcome to mirrors.uni-ruse.bg, a free service hosted by the University of Ruse

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

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


../
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz        25-May-2025 01:55    6696
cryptominisat_5.11.21+dfsg1-2.dsc                  25-May-2025 01:55    2519
cryptominisat_5.11.21+dfsg1-2_amd64.deb            25-May-2025 02:21     89K
cryptominisat_5.11.21+dfsg1-2_arm64.deb            25-May-2025 02:32     79K
cryptominisat_5.11.21+dfsg1-2_armel.deb            25-May-2025 02:21     79K
cryptominisat_5.11.21+dfsg1-2_armhf.deb            25-May-2025 02:21     82K
cryptominisat_5.11.21+dfsg1-2_i386.deb             25-May-2025 02:21     95K
cryptominisat_5.11.21+dfsg1-2_ppc64el.deb          25-May-2025 02:21     89K
cryptominisat_5.11.21+dfsg1-2_riscv64.deb          25-May-2025 03:08     87K
cryptominisat_5.11.21+dfsg1-2_s390x.deb            25-May-2025 02:21     86K
cryptominisat_5.11.21+dfsg1-3+b1_riscv64.deb       16-Jan-2026 20:59     87K
cryptominisat_5.11.21+dfsg1-3+b2_amd64.deb         23-Apr-2026 23:31     88K
cryptominisat_5.11.21+dfsg1-3+b2_arm64.deb         23-Apr-2026 14:37     78K
cryptominisat_5.11.21+dfsg1-3+b2_armhf.deb         23-Apr-2026 18:03     81K
cryptominisat_5.11.21+dfsg1-3+b2_i386.deb          24-Apr-2026 01:29     96K
cryptominisat_5.11.21+dfsg1-3+b2_loong64.deb       24-Apr-2026 01:29     83K
cryptominisat_5.11.21+dfsg1-3+b2_ppc64el.deb       23-Apr-2026 22:02     88K
cryptominisat_5.11.21+dfsg1-3+b2_riscv64.deb       01-May-2026 23:31     87K
cryptominisat_5.11.21+dfsg1-3+b2_s390x.deb         24-Apr-2026 03:58     86K
cryptominisat_5.11.21+dfsg1-3.debian.tar.xz        13-Aug-2025 09:03    7020
cryptominisat_5.11.21+dfsg1-3.dsc                  13-Aug-2025 09:03    2505
cryptominisat_5.11.21+dfsg1.orig.tar.xz            03-May-2024 09:30    470K
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb          03-Jan-2023 09:27     75K
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb          03-Jan-2023 09:58     69K
cryptominisat_5.11.4+dfsg1-2+b1_armel.deb          03-Jan-2023 09:59     66K
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb          03-Jan-2023 09:58     67K
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb           03-Jan-2023 10:45     79K
cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb       03-Jan-2023 09:12     70K
cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb         03-Jan-2023 09:43     71K
cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb        05-Jan-2023 02:55     77K
cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb          06-Jan-2023 03:56     69K
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz         03-Nov-2022 22:09    5360
cryptominisat_5.11.4+dfsg1-2.dsc                   03-Nov-2022 22:09    2459
cryptominisat_5.11.4+dfsg1.orig.tar.xz             29-Oct-2022 00:20    518K
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb           12-Dec-2020 17:13     86K
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb           12-Dec-2020 15:00     81K
cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb           12-Dec-2020 18:26     80K
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb            12-Dec-2020 17:39     91K
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz          11-Jul-2020 17:16    6188
cryptominisat_5.8.0+dfsg1-1.dsc                    11-Jul-2020 17:16    2408
cryptominisat_5.8.0+dfsg1.orig.tar.xz              11-Jul-2020 17:16    441K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb 03-Jan-2023 09:27    490K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb 03-Jan-2023 09:58    440K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb 03-Jan-2023 09:59    432K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb 03-Jan-2023 09:58    450K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb  03-Jan-2023 10:45    516K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64..> 03-Jan-2023 09:12    463K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel..> 03-Jan-2023 09:43    477K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64e..> 05-Jan-2023 02:55    530K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb 06-Jan-2023 03:56    449K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64..> 25-May-2025 02:21    509K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64..> 25-May-2025 02:32    461K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armel..> 25-May-2025 02:21    443K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf..> 25-May-2025 02:21    463K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb 25-May-2025 02:21    536K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64..> 25-May-2025 02:21    543K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv..> 25-May-2025 03:08    534K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x..> 25-May-2025 02:21    534K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_ri..> 16-Jan-2026 20:59    535K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_am..> 23-Apr-2026 23:31    510K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_ar..> 23-Apr-2026 14:37    449K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_ar..> 23-Apr-2026 18:03    461K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_i3..> 24-Apr-2026 01:29    533K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_lo..> 24-Apr-2026 01:29    502K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_pp..> 23-Apr-2026 22:02    557K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_ri..> 01-May-2026 23:31    536K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_s3..> 24-Apr-2026 03:58    533K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb   12-Dec-2020 17:13    406K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb   12-Dec-2020 15:00    370K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb   12-Dec-2020 18:26    376K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb    12-Dec-2020 17:39    432K
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb    25-May-2025 02:21     18K
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb    25-May-2025 02:32     18K
libcryptominisat5-dev_5.11.21+dfsg1-2_armel.deb    25-May-2025 02:21     18K
libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb    25-May-2025 02:21     18K
libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb     25-May-2025 02:21     18K
libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb  25-May-2025 02:21     18K
libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb  25-May-2025 03:08     18K
libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb    25-May-2025 02:21     18K
libcryptominisat5-dev_5.11.21+dfsg1-3+b1_riscv6..> 16-Jan-2026 20:59     19K
libcryptominisat5-dev_5.11.21+dfsg1-3+b2_amd64.deb 23-Apr-2026 23:31     18K
libcryptominisat5-dev_5.11.21+dfsg1-3+b2_arm64.deb 23-Apr-2026 14:37     18K
libcryptominisat5-dev_5.11.21+dfsg1-3+b2_armhf.deb 23-Apr-2026 18:03     18K
libcryptominisat5-dev_5.11.21+dfsg1-3+b2_i386.deb  24-Apr-2026 01:29     18K
libcryptominisat5-dev_5.11.21+dfsg1-3+b2_loong6..> 24-Apr-2026 01:29     18K
libcryptominisat5-dev_5.11.21+dfsg1-3+b2_ppc64e..> 23-Apr-2026 22:02     18K
libcryptominisat5-dev_5.11.21+dfsg1-3+b2_riscv6..> 01-May-2026 23:31     18K
libcryptominisat5-dev_5.11.21+dfsg1-3+b2_s390x.deb 24-Apr-2026 03:58     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb  03-Jan-2023 09:27     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb  03-Jan-2023 09:58     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb  03-Jan-2023 09:59     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb  03-Jan-2023 09:58     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb   03-Jan-2023 10:45     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64e..> 03-Jan-2023 09:12     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb 03-Jan-2023 09:43     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el..> 05-Jan-2023 02:55     18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb  06-Jan-2023 03:56     18K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb   12-Dec-2020 17:13     14K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb   12-Dec-2020 15:00     14K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb   12-Dec-2020 18:26     14K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb    12-Dec-2020 17:39     14K
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb    25-May-2025 02:21    583K
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb    25-May-2025 02:32    535K
python3-cryptominisat_5.11.21+dfsg1-2_armel.deb    25-May-2025 02:21    516K
python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb    25-May-2025 02:21    529K
python3-cryptominisat_5.11.21+dfsg1-2_i386.deb     25-May-2025 02:21    640K
python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb  25-May-2025 02:21    612K
python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb  25-May-2025 03:08    606K
python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb    25-May-2025 02:21    603K
python3-cryptominisat_5.11.21+dfsg1-3+b1_riscv6..> 16-Jan-2026 20:59    605K
python3-cryptominisat_5.11.21+dfsg1-3+b2_amd64.deb 23-Apr-2026 23:31    585K
python3-cryptominisat_5.11.21+dfsg1-3+b2_arm64.deb 23-Apr-2026 14:37    525K
python3-cryptominisat_5.11.21+dfsg1-3+b2_armhf.deb 23-Apr-2026 18:03    529K
python3-cryptominisat_5.11.21+dfsg1-3+b2_i386.deb  24-Apr-2026 01:29    635K
python3-cryptominisat_5.11.21+dfsg1-3+b2_loong6..> 24-Apr-2026 01:29    576K
python3-cryptominisat_5.11.21+dfsg1-3+b2_ppc64e..> 23-Apr-2026 22:02    627K
python3-cryptominisat_5.11.21+dfsg1-3+b2_riscv6..> 01-May-2026 23:31    606K
python3-cryptominisat_5.11.21+dfsg1-3+b2_s390x.deb 24-Apr-2026 03:58    603K
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb  03-Jan-2023 09:27    520K
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb  03-Jan-2023 09:58    479K
python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb  03-Jan-2023 09:59    462K
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb  03-Jan-2023 09:58    473K
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb   03-Jan-2023 10:45    576K
python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64e..> 03-Jan-2023 09:12    494K
python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb 03-Jan-2023 09:43    511K
python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el..> 05-Jan-2023 02:55    556K
python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb  06-Jan-2023 03:56    483K
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb   12-Dec-2020 17:13     19K
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb   12-Dec-2020 15:00     18K
python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb   12-Dec-2020 18:26     18K
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb    12-Dec-2020 17:39     19K

Contact us:mirrors@uni-ruse.bg

Developed and supported by the Centre for Information and Computing Technologies

ipv6 ready