Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb18.8 KiB2022-02-22 23:46:34
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb18.8 KiB2022-02-23 02:29:06
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb20.2 KiB2022-02-22 23:46:14
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb18.0 KiB2022-02-22 23:45:56
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb18.8 KiB2022-02-22 23:45:48
python3-cryptominisat_5.11.4+dfsg1-3_s390x.deb584.8 KiB2023-07-15 05:39:05
python3-cryptominisat_5.11.4+dfsg1-3_riscv64.deb592.4 KiB2023-07-16 08:40:38
python3-cryptominisat_5.11.4+dfsg1-3_ppc64el.deb616.9 KiB2023-07-15 05:39:04
python3-cryptominisat_5.11.4+dfsg1-3_armhf.deb522.4 KiB2023-07-15 05:39:03
python3-cryptominisat_5.11.4+dfsg1-3_arm64.deb513.4 KiB2023-07-15 05:39:02
python3-cryptominisat_5.11.4+dfsg1-2build1_s390x.deb505.3 KiB2022-12-25 20:27:57
python3-cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb561.1 KiB2022-12-25 21:54:03
python3-cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb619.7 KiB2022-12-25 20:27:39
python3-cryptominisat_5.11.4+dfsg1-2build1_armhf.deb514.8 KiB2022-12-25 20:27:08
python3-cryptominisat_5.11.4+dfsg1-2build1_arm64.deb507.2 KiB2022-12-25 20:26:41
python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb572.9 KiB2024-05-03 12:40:14
python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb591.8 KiB2024-05-05 11:18:39
python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb613.0 KiB2024-05-03 12:05:22
python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb511.1 KiB2024-05-09 11:31:12
python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb508.2 KiB2024-05-05 17:38:57
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb580.4 KiB2024-04-02 11:03:13
python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb592.7 KiB2024-04-03 21:11:08
python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb619.9 KiB2024-04-02 05:02:53
python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb511.9 KiB2024-04-02 01:08:32
python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb507.1 KiB2024-04-02 01:07:58
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb12.7 KiB2022-02-22 23:46:35
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb12.7 KiB2022-02-23 02:29:06
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb12.7 KiB2022-02-22 23:46:14
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb12.7 KiB2022-02-22 23:45:56
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb12.7 KiB2022-02-22 23:45:48
libcryptominisat5-dev_5.11.4+dfsg1-3_s390x.deb16.9 KiB2023-07-15 05:39:05
libcryptominisat5-dev_5.11.4+dfsg1-3_riscv64.deb16.9 KiB2023-07-16 08:40:38
libcryptominisat5-dev_5.11.4+dfsg1-3_ppc64el.deb16.9 KiB2023-07-15 05:39:04
libcryptominisat5-dev_5.11.4+dfsg1-3_armhf.deb16.9 KiB2023-07-15 05:39:02
libcryptominisat5-dev_5.11.4+dfsg1-3_arm64.deb16.9 KiB2023-07-15 05:39:02
libcryptominisat5-dev_5.11.4+dfsg1-2build1_s390x.deb16.9 KiB2022-12-25 20:27:56
libcryptominisat5-dev_5.11.4+dfsg1-2build1_riscv64.deb16.9 KiB2022-12-25 21:54:03
libcryptominisat5-dev_5.11.4+dfsg1-2build1_ppc64el.deb16.9 KiB2022-12-25 20:27:38
libcryptominisat5-dev_5.11.4+dfsg1-2build1_armhf.deb16.9 KiB2022-12-25 20:27:09
libcryptominisat5-dev_5.11.4+dfsg1-2build1_arm64.deb16.9 KiB2022-12-25 20:26:41
libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb17.4 KiB2024-05-03 12:40:14
libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb17.4 KiB2024-05-05 11:18:39
libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb17.4 KiB2024-05-03 12:05:22
libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb17.3 KiB2024-05-09 11:31:12
libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb17.4 KiB2024-05-05 17:38:58
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s390x.deb17.3 KiB2024-04-02 11:03:14
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb17.3 KiB2024-04-03 21:11:08
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb17.3 KiB2024-04-02 05:02:53
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb17.3 KiB2024-04-02 01:08:32
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb17.3 KiB2024-04-02 01:07:58
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb365.0 KiB2022-02-22 23:46:34
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb449.1 KiB2022-02-23 02:29:06
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb461.7 KiB2022-02-22 23:46:14
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb416.0 KiB2022-02-22 23:45:56
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb365.9 KiB2022-02-22 23:45:48
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x.deb494.7 KiB2024-05-03 12:40:14
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv64.deb571.7 KiB2024-05-05 11:18:39
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64el.deb490.3 KiB2024-05-03 12:05:22
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb501.4 KiB2024-05-09 11:31:12
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb426.1 KiB2024-05-05 17:38:58
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_s390x.deb496.8 KiB2024-04-02 11:03:14
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb572.6 KiB2024-04-03 21:11:09
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb492.2 KiB2024-04-02 05:02:53
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb510.4 KiB2024-04-02 01:08:32
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb425.0 KiB2024-04-02 01:07:58
libcryptominisat5-5.11_5.11.4+dfsg1-3_s390x.deb495.8 KiB2023-07-15 05:39:05
libcryptominisat5-5.11_5.11.4+dfsg1-3_riscv64.deb571.5 KiB2023-07-16 08:40:38
libcryptominisat5-5.11_5.11.4+dfsg1-3_ppc64el.deb485.4 KiB2023-07-15 05:39:04
libcryptominisat5-5.11_5.11.4+dfsg1-3_armhf.deb501.8 KiB2023-07-15 05:39:02
libcryptominisat5-5.11_5.11.4+dfsg1-3_arm64.deb420.8 KiB2023-07-15 05:39:02
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_s390x.deb421.3 KiB2022-12-25 20:27:57
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_riscv64.deb535.4 KiB2022-12-25 21:54:03
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ppc64el.deb481.1 KiB2022-12-25 20:27:39
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_armhf.deb494.6 KiB2022-12-25 20:27:08
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm64.deb416.1 KiB2022-12-25 20:26:41
cryptominisat_5.8.0+dfsg1.orig.tar.xz440.7 KiB2020-07-13 17:24:37
cryptominisat_5.8.0+dfsg1-2_s390x.deb88.1 KiB2022-02-22 23:46:34
cryptominisat_5.8.0+dfsg1-2_riscv64.deb94.4 KiB2022-02-23 02:29:06
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb97.0 KiB2022-02-22 23:46:14
cryptominisat_5.8.0+dfsg1-2_armhf.deb86.6 KiB2022-02-22 23:45:56
cryptominisat_5.8.0+dfsg1-2_arm64.deb87.0 KiB2022-02-22 23:45:48
cryptominisat_5.8.0+dfsg1-2.dsc2.4 KiB2022-02-22 23:24:36
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz6.1 KiB2022-02-22 23:24:36
cryptominisat_5.11.4+dfsg1.orig.tar.xz517.8 KiB2022-11-06 03:16:53
cryptominisat_5.11.4+dfsg1-3_s390x.deb79.9 KiB2023-07-15 05:39:05
cryptominisat_5.11.4+dfsg1-3_riscv64.deb81.6 KiB2023-07-16 08:40:38
cryptominisat_5.11.4+dfsg1-3_ppc64el.deb81.2 KiB2023-07-15 05:39:04
cryptominisat_5.11.4+dfsg1-3_armhf.deb74.6 KiB2023-07-15 05:39:03
cryptominisat_5.11.4+dfsg1-3_arm64.deb74.6 KiB2023-07-15 05:39:02
cryptominisat_5.11.4+dfsg1-3.dsc2.4 KiB2023-07-15 05:38:59
cryptominisat_5.11.4+dfsg1-3.debian.tar.xz6.6 KiB2023-07-15 05:38:59
cryptominisat_5.11.4+dfsg1-2build1_s390x.deb74.7 KiB2022-12-25 20:27:56
cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb79.3 KiB2022-12-25 21:54:03
cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb79.7 KiB2022-12-25 20:27:38
cryptominisat_5.11.4+dfsg1-2build1_armhf.deb72.8 KiB2022-12-25 20:27:08
cryptominisat_5.11.4+dfsg1-2build1_arm64.deb73.3 KiB2022-12-25 20:26:41
cryptominisat_5.11.4+dfsg1-2build1.dsc2.4 KiB2022-12-25 20:25:56
cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz5.3 KiB2022-12-25 20:25:56
cryptominisat_5.11.21+dfsg1.orig.tar.xz470.2 KiB2024-05-03 11:29:03
cryptominisat_5.11.21+dfsg1-1_s390x.deb93.5 KiB2024-05-03 12:40:14
cryptominisat_5.11.21+dfsg1-1_riscv64.deb93.7 KiB2024-05-05 11:18:39
cryptominisat_5.11.21+dfsg1-1_ppc64el.deb93.2 KiB2024-05-03 12:05:22
cryptominisat_5.11.21+dfsg1-1_armhf.deb85.5 KiB2024-05-09 11:31:12
cryptominisat_5.11.21+dfsg1-1_arm64.deb83.5 KiB2024-05-05 17:38:58
cryptominisat_5.11.21+dfsg1-1.dsc2.4 KiB2024-05-03 11:29:03
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz6.5 KiB2024-05-03 11:29:03
cryptominisat_5.11.15+dfsg1.orig.tar.xz463.7 KiB2023-12-14 17:37:25
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb82.8 KiB2024-04-02 11:03:14
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb84.2 KiB2024-04-03 21:11:09
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb84.5 KiB2024-04-02 05:02:54
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb77.5 KiB2024-04-02 01:08:32
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb77.4 KiB2024-04-02 01:07:58
cryptominisat_5.11.15+dfsg1-1.1build1.dsc2.6 KiB2024-03-31 18:36:44
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz5.6 KiB2024-03-31 18:36:44