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 /mirrors/trisquel/pool/main/c/cryptominisat/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
cryptominisat_5.8.0+dfsg1-2.dsc	2.4 KiB	2022-02-22 23:24:36
cryptominisat_5.11.15+dfsg1-1build2.dsc	2.4 KiB	2024-03-30 00:18:51
cryptominisat_5.11.15+dfsg1-1.1build1.dsc	2.6 KiB	2024-03-31 18:36:44
cryptominisat_5.11.15+dfsg1-1build2.debian.tar.xz	5.4 KiB	2024-03-30 00:18:51
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz	5.6 KiB	2024-03-31 18:36:44
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz	6.1 KiB	2022-02-22 23:24:36
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb	12.7 KiB	2022-02-22 23:45:48
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb	12.7 KiB	2022-02-22 23:45:17
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb	12.7 KiB	2022-02-22 23:45:56
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb	12.7 KiB	2022-02-22 23:46:14
libcryptominisat5-dev_5.11.15+dfsg1-1build2_amd64.deb	17.3 KiB	2024-03-30 00:33:37
libcryptominisat5-dev_5.11.15+dfsg1-1build2_arm64.deb	17.3 KiB	2024-03-30 00:45:44
libcryptominisat5-dev_5.11.15+dfsg1-1build2_riscv64.deb	17.3 KiB	2024-03-30 01:18:23
libcryptominisat5-dev_5.11.15+dfsg1-1build2_armhf.deb	17.3 KiB	2024-03-30 00:53:27
libcryptominisat5-dev_5.11.15+dfsg1-1build2_ppc64el.deb	17.3 KiB	2024-03-30 01:10:53
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb	17.3 KiB	2024-04-01 03:47:03
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb	17.3 KiB	2024-04-02 01:07:58
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb	17.3 KiB	2024-04-03 21:11:08
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb	17.3 KiB	2024-04-02 01:08:32
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb	17.3 KiB	2024-04-02 05:02:53
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb	18.0 KiB	2022-02-22 23:45:56
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb	18.8 KiB	2022-02-22 23:45:48
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb	19.1 KiB	2022-02-22 23:45:17
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb	20.2 KiB	2022-02-22 23:46:14
cryptominisat_5.11.15+dfsg1-1build2_armhf.deb	77.1 KiB	2024-03-30 00:53:27
cryptominisat_5.11.15+dfsg1-1build2_arm64.deb	77.4 KiB	2024-03-30 00:45:44
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb	77.4 KiB	2024-04-02 01:07:58
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb	77.5 KiB	2024-04-02 01:08:32
cryptominisat_5.11.15+dfsg1-1build2_amd64.deb	81.1 KiB	2024-03-30 00:33:37
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb	81.1 KiB	2024-04-01 03:47:03
cryptominisat_5.11.15+dfsg1-1build2_ppc64el.deb	83.7 KiB	2024-03-30 01:10:53
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb	84.2 KiB	2024-04-03 21:11:09
cryptominisat_5.11.15+dfsg1-1build2_riscv64.deb	84.2 KiB	2024-03-30 01:18:23
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb	84.5 KiB	2024-04-02 05:02:54
cryptominisat_5.8.0+dfsg1-2_armhf.deb	86.6 KiB	2022-02-22 23:45:56
cryptominisat_5.8.0+dfsg1-2_arm64.deb	87.0 KiB	2022-02-22 23:45:48
cryptominisat_5.8.0+dfsg1-2_amd64.deb	90.8 KiB	2022-02-22 23:45:17
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb	97.0 KiB	2022-02-22 23:46:14
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb	365.9 KiB	2022-02-22 23:45:48
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb	377.6 KiB	2022-02-22 23:45:17
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb	416.0 KiB	2022-02-22 23:45:56
libcryptominisat5-5.11_5.11.15+dfsg1-1build2_arm64.deb	424.7 KiB	2024-03-30 00:45:44
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb	425.0 KiB	2024-04-02 01:07:58
libcryptominisat5-5.11_5.11.15+dfsg1-1build2_amd64.deb	436.4 KiB	2024-03-30 00:33:37
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb	436.8 KiB	2024-04-01 03:47:03
cryptominisat_5.8.0+dfsg1.orig.tar.xz	440.7 KiB	2020-07-13 17:24:37
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb	461.7 KiB	2022-02-22 23:46:14
cryptominisat_5.11.15+dfsg1.orig.tar.xz	463.7 KiB	2023-12-14 17:37:25
libcryptominisat5-5.11_5.11.15+dfsg1-1build2_ppc64el.deb	488.7 KiB	2024-03-30 01:10:53
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb	492.2 KiB	2024-04-02 05:02:53
libcryptominisat5-5.11_5.11.15+dfsg1-1build2_armhf.deb	500.4 KiB	2024-03-30 00:53:27
python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb	507.1 KiB	2024-04-02 01:07:58
python3-cryptominisat_5.11.15+dfsg1-1build2_arm64.deb	507.8 KiB	2024-03-30 00:45:44
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb	510.4 KiB	2024-04-02 01:08:32
python3-cryptominisat_5.11.15+dfsg1-1build2_armhf.deb	511.8 KiB	2024-03-30 00:53:27
python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb	511.9 KiB	2024-04-02 01:08:32
python3-cryptominisat_5.11.15+dfsg1-1build2_amd64.deb	513.6 KiB	2024-03-30 00:33:37
python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb	513.6 KiB	2024-04-01 03:47:03
libcryptominisat5-5.11_5.11.15+dfsg1-1build2_riscv64.deb	572.1 KiB	2024-03-30 01:18:22
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb	572.6 KiB	2024-04-03 21:11:09
python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb	592.7 KiB	2024-04-03 21:11:08
python3-cryptominisat_5.11.15+dfsg1-1build2_riscv64.deb	592.9 KiB	2024-03-30 01:18:22
python3-cryptominisat_5.11.15+dfsg1-1build2_ppc64el.deb	613.4 KiB	2024-03-30 01:10:53
python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb	619.9 KiB	2024-04-02 05:02:53