Index of /ubuntu-ports/pool/universe/c/cryptominisat/

/ubuntu-ports/pool/universe/c/cryptominisat/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz5.6 KiB31 Mar 2024 18:36:44 +0000
cryptominisat_5.11.15+dfsg1-1.1build1.dsc2.6 KiB31 Mar 2024 18:36:44 +0000
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb77.4 KiB02 Apr 2024 01:07:58 +0000
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb77.5 KiB02 Apr 2024 01:08:32 +0000
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb84.5 KiB02 Apr 2024 05:02:54 +0000
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb84.2 KiB03 Apr 2024 21:11:09 +0000
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb82.8 KiB02 Apr 2024 11:03:14 +0000
cryptominisat_5.11.15+dfsg1.orig.tar.xz463.7 KiB14 Dec 2023 17:37:25 +0000
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz6.5 KiB03 Jan 2025 14:35:59 +0000
cryptominisat_5.11.21+dfsg1-1build1.dsc2.4 KiB03 Jan 2025 14:36:00 +0000
cryptominisat_5.11.21+dfsg1-1build1_arm64.deb85.2 KiB03 Jan 2025 14:37:52 +0000
cryptominisat_5.11.21+dfsg1-1build1_armhf.deb86.9 KiB03 Jan 2025 14:38:35 +0000
cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb93.7 KiB03 Jan 2025 14:39:54 +0000
cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb93.7 KiB03 Jan 2025 18:35:28 +0000
cryptominisat_5.11.21+dfsg1-1build1_s390x.deb94.5 KiB03 Jan 2025 14:40:31 +0000
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz6.5 KiB25 May 2025 05:49:09 +0000
cryptominisat_5.11.21+dfsg1-2.dsc2.5 KiB25 May 2025 05:49:09 +0000
cryptominisat_5.11.21+dfsg1-2_arm64.deb84.8 KiB25 May 2025 05:49:12 +0000
cryptominisat_5.11.21+dfsg1-2_armhf.deb87.3 KiB25 May 2025 05:49:13 +0000
cryptominisat_5.11.21+dfsg1-2_ppc64el.deb93.2 KiB25 May 2025 05:49:15 +0000
cryptominisat_5.11.21+dfsg1-2_riscv64.deb93.9 KiB25 May 2025 08:34:45 +0000
cryptominisat_5.11.21+dfsg1-2_s390x.deb94.8 KiB25 May 2025 05:49:16 +0000
cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz6.9 KiB22 Jan 2026 20:33:58 +0000
cryptominisat_5.11.21+dfsg1-3build1.dsc2.4 KiB22 Jan 2026 20:33:58 +0000
cryptominisat_5.11.21+dfsg1-3build1_arm64.deb83.6 KiB23 Jan 2026 01:14:37 +0000
cryptominisat_5.11.21+dfsg1-3build1_armhf.deb87.4 KiB23 Jan 2026 01:17:17 +0000
cryptominisat_5.11.21+dfsg1-3build1_ppc64el.deb92.6 KiB23 Jan 2026 01:20:49 +0000
cryptominisat_5.11.21+dfsg1-3build1_riscv64.deb94.1 KiB23 Jan 2026 03:38:10 +0000
cryptominisat_5.11.21+dfsg1-3build1_s390x.deb93.8 KiB23 Jan 2026 01:24:07 +0000
cryptominisat_5.11.21+dfsg1.orig.tar.xz470.2 KiB03 May 2024 11:29:03 +0000
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz6.1 KiB22 Feb 2022 23:24:36 +0000
cryptominisat_5.8.0+dfsg1-2.dsc2.4 KiB22 Feb 2022 23:24:36 +0000
cryptominisat_5.8.0+dfsg1-2_arm64.deb87.0 KiB22 Feb 2022 23:45:48 +0000
cryptominisat_5.8.0+dfsg1-2_armhf.deb86.6 KiB22 Feb 2022 23:45:56 +0000
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb97.0 KiB22 Feb 2022 23:46:14 +0000
cryptominisat_5.8.0+dfsg1-2_riscv64.deb94.4 KiB23 Feb 2022 02:29:06 +0000
cryptominisat_5.8.0+dfsg1-2_s390x.deb88.1 KiB22 Feb 2022 23:46:34 +0000
cryptominisat_5.8.0+dfsg1.orig.tar.xz440.7 KiB13 Jul 2020 17:24:37 +0000
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb425.0 KiB02 Apr 2024 01:07:58 +0000
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb510.4 KiB02 Apr 2024 01:08:32 +0000
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb492.2 KiB02 Apr 2024 05:02:53 +0000
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb572.6 KiB03 Apr 2024 21:11:09 +0000
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_s390x.deb496.8 KiB02 Apr 2024 11:03:14 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_arm64.deb439.4 KiB03 Jan 2025 14:37:52 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_armhf.deb509.7 KiB03 Jan 2025 14:38:35 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_ppc64el.deb499.2 KiB03 Jan 2025 14:39:54 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_riscv64.deb579.5 KiB03 Jan 2025 18:35:28 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_s390x.deb500.9 KiB03 Jan 2025 14:40:31 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb437.9 KiB25 May 2025 05:49:12 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb506.8 KiB25 May 2025 05:49:13 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb497.8 KiB25 May 2025 05:49:15 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv64.deb579.4 KiB25 May 2025 08:34:45 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb497.4 KiB25 May 2025 05:49:16 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_arm64.deb423.0 KiB23 Jan 2026 01:14:36 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_armhf.deb503.8 KiB23 Jan 2026 01:17:17 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_ppc64el.deb498.3 KiB23 Jan 2026 01:20:49 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_riscv64.deb579.1 KiB23 Jan 2026 03:38:10 +0000
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_s390x.deb492.4 KiB23 Jan 2026 01:24:07 +0000
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb365.9 KiB22 Feb 2022 23:45:48 +0000
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb416.0 KiB22 Feb 2022 23:45:56 +0000
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb461.7 KiB22 Feb 2022 23:46:14 +0000
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb449.1 KiB23 Feb 2022 02:29:06 +0000
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb365.0 KiB22 Feb 2022 23:46:34 +0000
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb17.3 KiB02 Apr 2024 01:07:58 +0000
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb17.3 KiB02 Apr 2024 01:08:32 +0000
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb17.3 KiB02 Apr 2024 05:02:53 +0000
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb17.3 KiB03 Apr 2024 21:11:08 +0000
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s390x.deb17.3 KiB02 Apr 2024 11:03:14 +0000
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm64.deb17.4 KiB03 Jan 2025 14:37:52 +0000
libcryptominisat5-dev_5.11.21+dfsg1-1build1_armhf.deb17.4 KiB03 Jan 2025 14:38:34 +0000
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc64el.deb17.4 KiB03 Jan 2025 14:39:53 +0000
libcryptominisat5-dev_5.11.21+dfsg1-1build1_riscv64.deb17.4 KiB03 Jan 2025 18:35:28 +0000
libcryptominisat5-dev_5.11.21+dfsg1-1build1_s390x.deb17.4 KiB03 Jan 2025 14:40:31 +0000
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb17.4 KiB25 May 2025 05:49:12 +0000
libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb17.4 KiB25 May 2025 05:49:13 +0000
libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb17.4 KiB25 May 2025 05:49:14 +0000
libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb17.4 KiB25 May 2025 08:34:45 +0000
libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb17.4 KiB25 May 2025 05:49:16 +0000
libcryptominisat5-dev_5.11.21+dfsg1-3build1_arm64.deb17.4 KiB23 Jan 2026 01:14:36 +0000
libcryptominisat5-dev_5.11.21+dfsg1-3build1_armhf.deb17.4 KiB23 Jan 2026 01:17:17 +0000
libcryptominisat5-dev_5.11.21+dfsg1-3build1_ppc64el.deb17.4 KiB23 Jan 2026 01:20:49 +0000
libcryptominisat5-dev_5.11.21+dfsg1-3build1_riscv64.deb17.4 KiB23 Jan 2026 03:38:10 +0000
libcryptominisat5-dev_5.11.21+dfsg1-3build1_s390x.deb17.4 KiB23 Jan 2026 01:24:07 +0000
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb12.7 KiB22 Feb 2022 23:45:48 +0000
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb12.7 KiB22 Feb 2022 23:45:56 +0000
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb12.7 KiB22 Feb 2022 23:46:14 +0000
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb12.7 KiB23 Feb 2022 02:29:06 +0000
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb12.7 KiB22 Feb 2022 23:46:35 +0000
python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb507.1 KiB02 Apr 2024 01:07:58 +0000
python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb511.9 KiB02 Apr 2024 01:08:32 +0000
python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb619.9 KiB02 Apr 2024 05:02:53 +0000
python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb592.7 KiB03 Apr 2024 21:11:08 +0000
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb580.4 KiB02 Apr 2024 11:03:13 +0000
python3-cryptominisat_5.11.21+dfsg1-1build1_arm64.deb564.6 KiB03 Jan 2025 14:37:52 +0000
python3-cryptominisat_5.11.21+dfsg1-1build1_armhf.deb570.7 KiB03 Jan 2025 14:38:34 +0000
python3-cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb669.1 KiB03 Jan 2025 14:39:53 +0000
python3-cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb653.0 KiB03 Jan 2025 18:35:28 +0000
python3-cryptominisat_5.11.21+dfsg1-1build1_s390x.deb620.8 KiB03 Jan 2025 14:40:30 +0000
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb570.8 KiB25 May 2025 05:49:11 +0000
python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb575.6 KiB25 May 2025 05:49:13 +0000
python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb677.1 KiB25 May 2025 05:49:14 +0000
python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb661.1 KiB25 May 2025 08:34:45 +0000
python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb627.7 KiB25 May 2025 05:49:15 +0000
python3-cryptominisat_5.11.21+dfsg1-3build1_arm64.deb554.7 KiB23 Jan 2026 01:14:36 +0000
python3-cryptominisat_5.11.21+dfsg1-3build1_armhf.deb573.8 KiB23 Jan 2026 01:17:16 +0000
python3-cryptominisat_5.11.21+dfsg1-3build1_ppc64el.deb681.5 KiB23 Jan 2026 01:20:49 +0000
python3-cryptominisat_5.11.21+dfsg1-3build1_riscv64.deb662.3 KiB23 Jan 2026 03:38:10 +0000
python3-cryptominisat_5.11.21+dfsg1-3build1_s390x.deb622.4 KiB23 Jan 2026 01:24:07 +0000
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb18.8 KiB22 Feb 2022 23:45:48 +0000
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb18.0 KiB22 Feb 2022 23:45:56 +0000
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb20.2 KiB22 Feb 2022 23:46:14 +0000
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb18.8 KiB23 Feb 2022 02:29:06 +0000
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb18.8 KiB22 Feb 2022 23:46:34 +0000