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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb	86.0 KiB	2020-12-12 14:13:58
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb	80.6 KiB	2020-12-12 12:00:17
cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb	80.2 KiB	2020-12-12 15:26:42
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb	90.9 KiB	2020-12-12 14:39:56
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz	6.0 KiB	2020-07-11 14:16:37
cryptominisat_5.8.0+dfsg1-1.dsc	2.4 KiB	2020-07-11 14:16:37
cryptominisat_5.8.0+dfsg1.orig.tar.xz	440.7 KiB	2020-07-11 14:16:37
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb	406.3 KiB	2020-12-12 14:13:58
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb	370.1 KiB	2020-12-12 12:00:17
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb	375.7 KiB	2020-12-12 15:26:42
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb	431.6 KiB	2020-12-12 14:39:56
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb	13.6 KiB	2020-12-12 14:13:58
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb	13.6 KiB	2020-12-12 12:00:17
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb	13.6 KiB	2020-12-12 15:26:42
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb	13.6 KiB	2020-12-12 14:39:56
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb	18.7 KiB	2020-12-12 14:13:58
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb	18.3 KiB	2020-12-12 12:00:17
python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb	17.6 KiB	2020-12-12 15:26:42
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb	19.5 KiB	2020-12-12 14:39:56