Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

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

File Last Modified Size
📂 Parent Directory
📄 cryptominisat_5.11.21+dfsg1-2.debian.tar.xz2025-05-24 22:55:146.54 KB
📄 cryptominisat_5.11.21+dfsg1-2.dsc2025-05-24 22:55:142.46 KB
📄 cryptominisat_5.11.21+dfsg1-2_amd64.deb2025-05-24 23:21:2589.25 KB
📄 cryptominisat_5.11.21+dfsg1-2_arm64.deb2025-05-24 23:32:0779.34 KB
📄 cryptominisat_5.11.21+dfsg1-2_armel.deb2025-05-24 23:21:4078.72 KB
📄 cryptominisat_5.11.21+dfsg1-2_armhf.deb2025-05-24 23:21:4381.57 KB
📄 cryptominisat_5.11.21+dfsg1-2_i386.deb2025-05-24 23:21:2495.42 KB
📄 cryptominisat_5.11.21+dfsg1-2_ppc64el.deb2025-05-24 23:21:4488.68 KB
📄 cryptominisat_5.11.21+dfsg1-2_riscv64.deb2025-05-25 00:08:2887.39 KB
📄 cryptominisat_5.11.21+dfsg1-2_s390x.deb2025-05-24 23:21:4085.61 KB
📄 cryptominisat_5.11.21+dfsg1-3+b3_amd64.deb2026-06-27 18:48:1388.38 KB
📄 cryptominisat_5.11.21+dfsg1-3+b3_arm64.deb2026-06-27 18:27:1878.23 KB
📄 cryptominisat_5.11.21+dfsg1-3+b3_armhf.deb2026-06-27 18:27:2281.46 KB
📄 cryptominisat_5.11.21+dfsg1-3+b3_i386.deb2026-06-27 19:19:5195.52 KB
📄 cryptominisat_5.11.21+dfsg1-3+b3_loong64.deb2026-06-27 18:53:2283.34 KB
📄 cryptominisat_5.11.21+dfsg1-3+b3_ppc64el.deb2026-06-28 09:32:2488.27 KB
📄 cryptominisat_5.11.21+dfsg1-3+b3_riscv64.deb2026-06-27 19:40:5186.57 KB
📄 cryptominisat_5.11.21+dfsg1-3+b3_s390x.deb2026-06-28 07:13:5185.62 KB
📄 cryptominisat_5.11.21+dfsg1-3.debian.tar.xz2025-08-13 06:03:476.86 KB
📄 cryptominisat_5.11.21+dfsg1-3.dsc2025-08-13 06:03:472.45 KB
📄 cryptominisat_5.11.21+dfsg1.orig.tar.xz2024-05-03 06:30:46470.2 KB
📄 cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb2023-01-03 06:27:4975.29 KB
📄 cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb2023-01-03 06:58:4569.21 KB
📄 cryptominisat_5.11.4+dfsg1-2+b1_armel.deb2023-01-03 06:59:0365.68 KB
📄 cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb2023-01-03 06:58:4367.44 KB
📄 cryptominisat_5.11.4+dfsg1-2+b1_i386.deb2023-01-03 07:45:0179.17 KB
📄 cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb2023-01-03 06:12:1970.38 KB
📄 cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb2023-01-03 06:43:3371.49 KB
📄 cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb2023-01-04 23:55:5876.81 KB
📄 cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb2023-01-06 00:56:1869.16 KB
📄 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz2022-11-03 19:09:235.23 KB
📄 cryptominisat_5.11.4+dfsg1-2.dsc2022-11-03 19:09:232.4 KB
📄 cryptominisat_5.11.4+dfsg1.orig.tar.xz2022-10-28 21:20:08517.79 KB
📄 cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb2020-12-12 14:13:5885.96 KB
📄 cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb2020-12-12 12:00:1780.57 KB
📄 cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb2020-12-12 15:26:4280.21 KB
📄 cryptominisat_5.8.0+dfsg1-1+b3_i386.deb2020-12-12 14:39:5690.92 KB
📄 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz2020-07-11 14:16:376.04 KB
📄 cryptominisat_5.8.0+dfsg1-1.dsc2020-07-11 14:16:372.35 KB
📄 cryptominisat_5.8.0+dfsg1.orig.tar.xz2020-07-11 14:16:37440.73 KB
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb2023-01-03 06:27:49490.29 KB
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb2023-01-03 06:58:45440.42 KB
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb2023-01-03 06:59:03432.08 KB
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb2023-01-03 06:58:43450.23 KB
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb2023-01-03 07:45:01515.78 KB
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb2023-01-03 06:12:19462.9 KB
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb2023-01-03 06:43:33476.99 KB
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb2023-01-04 23:55:58529.89 KB
📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb2023-01-06 00:56:18448.77 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb2025-05-24 23:21:25509.19 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb2025-05-24 23:32:07460.55 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armel.deb2025-05-24 23:21:40443 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb2025-05-24 23:21:43462.54 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb2025-05-24 23:21:24536.05 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb2025-05-24 23:21:44543.26 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv64.deb2025-05-25 00:08:28534.3 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb2025-05-24 23:21:40534.05 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_amd64.deb2026-06-27 18:48:13509.98 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_arm64.deb2026-06-27 18:27:18448.75 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_armhf.deb2026-06-27 18:27:22460.52 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_i386.deb2026-06-27 19:19:51532.81 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_loong64.deb2026-06-27 18:53:22500.31 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_ppc64el.deb2026-06-28 09:32:24556.92 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_riscv64.deb2026-06-27 19:40:51535.29 KB
📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_s390x.deb2026-06-28 07:13:51532.86 KB
📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb2020-12-12 14:13:58406.28 KB
📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb2020-12-12 12:00:17370.11 KB
📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb2020-12-12 15:26:42375.71 KB
📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb2020-12-12 14:39:56431.58 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb2025-05-24 23:21:2518.38 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb2025-05-24 23:32:0718.38 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-2_armel.deb2025-05-24 23:21:4018.37 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb2025-05-24 23:21:4318.38 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb2025-05-24 23:21:2418.38 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb2025-05-24 23:21:4418.38 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb2025-05-25 00:08:2818.38 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb2025-05-24 23:21:4018.38 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_amd64.deb2026-06-27 18:48:1318.2 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_arm64.deb2026-06-27 18:27:1818.2 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_armhf.deb2026-06-27 18:27:2218.2 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_i386.deb2026-06-27 19:19:5118.21 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_loong64.deb2026-06-27 18:53:2218.21 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_ppc64el.deb2026-06-28 09:32:2418.2 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_riscv64.deb2026-06-27 19:40:5118.2 KB
📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_s390x.deb2026-06-28 07:13:5118.2 KB
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb2023-01-03 06:27:4917.89 KB
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb2023-01-03 06:58:4517.89 KB
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb2023-01-03 06:59:0317.87 KB
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb2023-01-03 06:58:4317.89 KB
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb2023-01-03 07:45:0117.89 KB
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb2023-01-03 06:12:1917.9 KB
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb2023-01-03 06:43:3317.89 KB
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb2023-01-04 23:55:5817.89 KB
📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb2023-01-06 00:56:1817.88 KB
📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb2020-12-12 14:13:5813.65 KB
📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb2020-12-12 12:00:1713.62 KB
📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb2020-12-12 15:26:4213.62 KB
📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb2020-12-12 14:39:5613.62 KB
📄 python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb2025-05-24 23:21:25583.21 KB
📄 python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb2025-05-24 23:32:07535.2 KB
📄 python3-cryptominisat_5.11.21+dfsg1-2_armel.deb2025-05-24 23:21:40515.77 KB
📄 python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb2025-05-24 23:21:43529.29 KB
📄 python3-cryptominisat_5.11.21+dfsg1-2_i386.deb2025-05-24 23:21:24640.14 KB
📄 python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb2025-05-24 23:21:44612.25 KB
📄 python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb2025-05-25 00:08:28606.39 KB
📄 python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb2025-05-24 23:21:40603.01 KB
📄 python3-cryptominisat_5.11.21+dfsg1-3+b3_amd64.deb2026-06-27 18:48:13585.43 KB
📄 python3-cryptominisat_5.11.21+dfsg1-3+b3_arm64.deb2026-06-27 18:27:18524.12 KB
📄 python3-cryptominisat_5.11.21+dfsg1-3+b3_armhf.deb2026-06-27 18:27:22528.02 KB
📄 python3-cryptominisat_5.11.21+dfsg1-3+b3_i386.deb2026-06-27 19:19:51634.69 KB
📄 python3-cryptominisat_5.11.21+dfsg1-3+b3_loong64.deb2026-06-27 18:53:22574.54 KB
📄 python3-cryptominisat_5.11.21+dfsg1-3+b3_ppc64el.deb2026-06-28 09:32:24626.39 KB
📄 python3-cryptominisat_5.11.21+dfsg1-3+b3_riscv64.deb2026-06-27 19:40:51605.75 KB
📄 python3-cryptominisat_5.11.21+dfsg1-3+b3_s390x.deb2026-06-28 07:13:51601.82 KB
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb2023-01-03 06:27:49520.02 KB
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb2023-01-03 06:58:45478.79 KB
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb2023-01-03 06:59:03462.07 KB
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb2023-01-03 06:58:43473.13 KB
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb2023-01-03 07:45:01575.75 KB
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb2023-01-03 06:12:19494.3 KB
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb2023-01-03 06:43:33511.17 KB
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb2023-01-04 23:55:58555.54 KB
📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb2023-01-06 00:56:18482.55 KB
📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb2020-12-12 14:13:5818.7 KB
📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb2020-12-12 12:00:1718.34 KB
📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb2020-12-12 15:26:4217.59 KB
📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb2020-12-12 14:39:5619.48 KB