File Name  ↓ File Size  ↓ Date  ↓ 
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz5.6 KiB2024-Mar-31 20:36
cryptominisat_5.11.15+dfsg1-1.1build1.dsc2.6 KiB2024-Mar-31 20:36
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb77.4 KiB2024-Apr-02 03:07
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb77.5 KiB2024-Apr-02 03:08
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb84.5 KiB2024-Apr-02 07:02
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb84.2 KiB2024-Apr-03 23:11
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb82.8 KiB2024-Apr-02 13:03
cryptominisat_5.11.15+dfsg1.orig.tar.xz463.7 KiB2023-Dec-14 19:37
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz6.5 KiB2024-May-03 13:29
cryptominisat_5.11.21+dfsg1-1.dsc2.4 KiB2024-May-03 13:29
cryptominisat_5.11.21+dfsg1-1_arm64.deb83.5 KiB2024-May-05 19:38
cryptominisat_5.11.21+dfsg1-1_armhf.deb85.5 KiB2024-May-09 13:31
cryptominisat_5.11.21+dfsg1-1_ppc64el.deb93.2 KiB2024-May-03 14:05
cryptominisat_5.11.21+dfsg1-1_riscv64.deb93.7 KiB2024-May-05 13:18
cryptominisat_5.11.21+dfsg1-1_s390x.deb93.5 KiB2024-May-03 14:40
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz6.5 KiB2025-Jan-03 16:35
cryptominisat_5.11.21+dfsg1-1build1.dsc2.4 KiB2025-Jan-03 16:36
cryptominisat_5.11.21+dfsg1-1build1_arm64.deb85.2 KiB2025-Jan-03 16:37
cryptominisat_5.11.21+dfsg1-1build1_armhf.deb86.9 KiB2025-Jan-03 16:38
cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb93.7 KiB2025-Jan-03 16:39
cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb93.7 KiB2025-Jan-03 20:35
cryptominisat_5.11.21+dfsg1-1build1_s390x.deb94.5 KiB2025-Jan-03 16:40
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz6.5 KiB2025-May-25 07:49
cryptominisat_5.11.21+dfsg1-2.dsc2.5 KiB2025-May-25 07:49
cryptominisat_5.11.21+dfsg1-2_arm64.deb84.8 KiB2025-May-25 07:49
cryptominisat_5.11.21+dfsg1-2_armhf.deb87.3 KiB2025-May-25 07:49
cryptominisat_5.11.21+dfsg1-2_ppc64el.deb93.2 KiB2025-May-25 07:49
cryptominisat_5.11.21+dfsg1-2_riscv64.deb93.9 KiB2025-May-25 10:34
cryptominisat_5.11.21+dfsg1-2_s390x.deb94.8 KiB2025-May-25 07:49
cryptominisat_5.11.21+dfsg1.orig.tar.xz470.2 KiB2024-May-03 13:29
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz6.1 KiB2022-Feb-23 01:24
cryptominisat_5.8.0+dfsg1-2.dsc2.4 KiB2022-Feb-23 01:24
cryptominisat_5.8.0+dfsg1-2_arm64.deb87.0 KiB2022-Feb-23 01:45
cryptominisat_5.8.0+dfsg1-2_armhf.deb86.6 KiB2022-Feb-23 01:45
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb97.0 KiB2022-Feb-23 01:46
cryptominisat_5.8.0+dfsg1-2_riscv64.deb94.4 KiB2022-Feb-23 04:29
cryptominisat_5.8.0+dfsg1-2_s390x.deb88.1 KiB2022-Feb-23 01:46
cryptominisat_5.8.0+dfsg1.orig.tar.xz440.7 KiB2020-Jul-13 19:24
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb425.0 KiB2024-Apr-02 03:07
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb510.4 KiB2024-Apr-02 03:08
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb492.2 KiB2024-Apr-02 07:02
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb572.6 KiB2024-Apr-03 23:11
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_s390x.deb496.8 KiB2024-Apr-02 13:03
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb426.1 KiB2024-May-05 19:38
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb501.4 KiB2024-May-09 13:31
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64el.deb490.3 KiB2024-May-03 14:05
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv64.deb571.7 KiB2024-May-05 13:18
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x.deb494.7 KiB2024-May-03 14:40
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_arm64.deb439.4 KiB2025-Jan-03 16:37
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_armhf.deb509.7 KiB2025-Jan-03 16:38
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_ppc64el.deb499.2 KiB2025-Jan-03 16:39
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_riscv64.deb579.5 KiB2025-Jan-03 20:35
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_s390x.deb500.9 KiB2025-Jan-03 16:40
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb437.9 KiB2025-May-25 07:49
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb506.8 KiB2025-May-25 07:49
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb497.8 KiB2025-May-25 07:49
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv64.deb579.4 KiB2025-May-25 10:34
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb497.4 KiB2025-May-25 07:49
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb365.9 KiB2022-Feb-23 01:45
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb416.0 KiB2022-Feb-23 01:45
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb461.7 KiB2022-Feb-23 01:46
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb449.1 KiB2022-Feb-23 04:29
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb365.0 KiB2022-Feb-23 01:46
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb17.3 KiB2024-Apr-02 03:07
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb17.3 KiB2024-Apr-02 03:08
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb17.3 KiB2024-Apr-02 07:02
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb17.3 KiB2024-Apr-03 23:11
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s390x.deb17.3 KiB2024-Apr-02 13:03
libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb17.4 KiB2024-May-05 19:38
libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb17.3 KiB2024-May-09 13:31
libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb17.4 KiB2024-May-03 14:05
libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb17.4 KiB2024-May-05 13:18
libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb17.4 KiB2024-May-03 14:40
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm64.deb17.4 KiB2025-Jan-03 16:37
libcryptominisat5-dev_5.11.21+dfsg1-1build1_armhf.deb17.4 KiB2025-Jan-03 16:38
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc64el.deb17.4 KiB2025-Jan-03 16:39
libcryptominisat5-dev_5.11.21+dfsg1-1build1_riscv64.deb17.4 KiB2025-Jan-03 20:35
libcryptominisat5-dev_5.11.21+dfsg1-1build1_s390x.deb17.4 KiB2025-Jan-03 16:40
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb17.4 KiB2025-May-25 07:49
libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb17.4 KiB2025-May-25 07:49
libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb17.4 KiB2025-May-25 07:49
libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb17.4 KiB2025-May-25 10:34
libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb17.4 KiB2025-May-25 07:49
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb12.7 KiB2022-Feb-23 01:45
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb12.7 KiB2022-Feb-23 01:45
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb12.7 KiB2022-Feb-23 01:46
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb12.7 KiB2022-Feb-23 04:29
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb12.7 KiB2022-Feb-23 01:46
python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb507.1 KiB2024-Apr-02 03:07
python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb511.9 KiB2024-Apr-02 03:08
python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb619.9 KiB2024-Apr-02 07:02
python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb592.7 KiB2024-Apr-03 23:11
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb580.4 KiB2024-Apr-02 13:03
python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb508.2 KiB2024-May-05 19:38
python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb511.1 KiB2024-May-09 13:31
python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb613.0 KiB2024-May-03 14:05
python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb591.8 KiB2024-May-05 13:18
python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb572.9 KiB2024-May-03 14:40
python3-cryptominisat_5.11.21+dfsg1-1build1_arm64.deb564.6 KiB2025-Jan-03 16:37
python3-cryptominisat_5.11.21+dfsg1-1build1_armhf.deb570.7 KiB2025-Jan-03 16:38
python3-cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb669.1 KiB2025-Jan-03 16:39
python3-cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb653.0 KiB2025-Jan-03 20:35
python3-cryptominisat_5.11.21+dfsg1-1build1_s390x.deb620.8 KiB2025-Jan-03 16:40
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb570.8 KiB2025-May-25 07:49
python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb575.6 KiB2025-May-25 07:49
python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb677.1 KiB2025-May-25 07:49
python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb661.1 KiB2025-May-25 10:34
python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb627.7 KiB2025-May-25 07:49
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb18.8 KiB2022-Feb-23 01:45
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb18.0 KiB2022-Feb-23 01:45
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb20.2 KiB2022-Feb-23 01:46
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb18.8 KiB2022-Feb-23 04:29
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb18.8 KiB2022-Feb-23 01:46