注册用户享1倍加速下载立即注册

/mirrors_os/debian-archive/debian/pool/main/c/cryptominisat/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb	86.0 KiB	2020-Dec-12 22:13
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb	80.6 KiB	2020-Dec-12 20:00
cryptominisat_5.8.0+dfsg1-1+b3_armel.deb	78.0 KiB	2020-Dec-12 21:11
cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb	80.2 KiB	2020-Dec-12 23:26
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb	90.9 KiB	2020-Dec-12 22:39
cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb	80.6 KiB	2020-Dec-13 07:25
cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb	82.9 KiB	2020-Dec-13 18:56
cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb	89.5 KiB	2020-Dec-13 00:28
cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb	81.4 KiB	2020-Dec-13 05:57
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz	6.0 KiB	2020-Jul-11 22:16
cryptominisat_5.8.0+dfsg1-1.dsc	2.4 KiB	2020-Jul-11 22:16
cryptominisat_5.8.0+dfsg1.orig.tar.xz	440.7 KiB	2020-Jul-11 22:16
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb	406.3 KiB	2020-Dec-12 22:13
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb	370.1 KiB	2020-Dec-12 20:00
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armel.deb	365.7 KiB	2020-Dec-12 21:11
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb	375.7 KiB	2020-Dec-12 23:26
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb	431.6 KiB	2020-Dec-12 22:39
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mips64el..>	389.0 KiB	2020-Dec-13 07:25
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mipsel.deb	405.2 KiB	2020-Dec-13 18:56
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb	445.0 KiB	2020-Dec-13 00:28
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_s390x.deb	372.4 KiB	2020-Dec-13 05:57
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb	13.6 KiB	2020-Dec-12 22:13
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb	13.6 KiB	2020-Dec-12 20:00
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb	13.6 KiB	2020-Dec-12 21:11
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb	13.6 KiB	2020-Dec-12 23:26
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb	13.6 KiB	2020-Dec-12 22:39
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el..>	13.6 KiB	2020-Dec-13 07:25
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb	13.6 KiB	2020-Dec-13 18:56
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb	13.6 KiB	2020-Dec-13 00:28
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb	13.6 KiB	2020-Dec-13 05:57
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb	18.7 KiB	2020-Dec-12 22:13
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb	18.3 KiB	2020-Dec-12 20:00
python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb	17.5 KiB	2020-Dec-12 21:11
python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb	17.6 KiB	2020-Dec-12 23:26
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb	19.5 KiB	2020-Dec-12 22:39
python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el..>	18.8 KiB	2020-Dec-13 07:25
python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb	18.7 KiB	2020-Dec-13 18:56
python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb	19.7 KiB	2020-Dec-13 00:28
python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb	18.2 KiB	2020-Dec-13 05:57