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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cryptominisat_5.11.4+dfsg1-2.dsc2.4 KiB2022-11-03 19:09:23
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz5.2 KiB2022-11-03 19:09:23
libcryptominisat5-dev_5.11.2+dfsg1-1+b1_armel.deb15.4 KiB2022-10-05 07:42:02
libcryptominisat5-dev_5.11.2+dfsg1-1+b1_armhf.deb15.4 KiB2022-10-05 07:11:48
libcryptominisat5-dev_5.11.2+dfsg1-1+b1_i386.deb15.4 KiB2022-10-05 06:56:45
libcryptominisat5-dev_5.11.2+dfsg1-1+b1_arm64.deb15.4 KiB2022-10-05 07:11:50
libcryptominisat5-dev_5.11.2+dfsg1-1+b1_amd64.deb15.4 KiB2022-10-05 06:56:46
libcryptominisat5-dev_5.11.4+dfsg1-2_armel.deb17.6 KiB2022-11-03 20:15:20
libcryptominisat5-dev_5.11.4+dfsg1-2_arm64.deb17.6 KiB2022-11-03 19:44:36
libcryptominisat5-dev_5.11.4+dfsg1-2_amd64.deb17.6 KiB2022-11-03 20:15:17
libcryptominisat5-dev_5.11.4+dfsg1-2_i386.deb17.6 KiB2022-11-03 20:09:51
libcryptominisat5-dev_5.11.4+dfsg1-2_armhf.deb17.6 KiB2022-11-03 19:59:48
cryptominisat_5.11.4+dfsg1-2_armel.deb65.4 KiB2022-11-03 20:15:20
cryptominisat_5.11.2+dfsg1-1+b1_armel.deb65.9 KiB2022-10-05 07:42:02
cryptominisat_5.11.4+dfsg1-2_armhf.deb66.9 KiB2022-11-03 19:59:48
cryptominisat_5.11.2+dfsg1-1+b1_armhf.deb67.5 KiB2022-10-05 07:11:48
cryptominisat_5.11.4+dfsg1-2_arm64.deb68.8 KiB2022-11-03 19:44:36
cryptominisat_5.11.2+dfsg1-1+b1_arm64.deb69.1 KiB2022-10-05 07:11:50
cryptominisat_5.11.4+dfsg1-2_amd64.deb74.8 KiB2022-11-03 20:15:17
cryptominisat_5.11.2+dfsg1-1+b1_amd64.deb75.2 KiB2022-10-05 06:56:46
cryptominisat_5.11.4+dfsg1-2_i386.deb78.8 KiB2022-11-03 20:09:51
cryptominisat_5.11.2+dfsg1-1+b1_i386.deb79.2 KiB2022-10-05 06:56:45
libcryptominisat5-5.11_5.11.4+dfsg1-2_armel.deb433.0 KiB2022-11-03 20:15:20
libcryptominisat5-5.11_5.11.2+dfsg1-1+b1_armel.deb433.4 KiB2022-10-05 07:42:02
libcryptominisat5-5.11_5.11.4+dfsg1-2_arm64.deb440.2 KiB2022-11-03 19:44:36
libcryptominisat5-5.11_5.11.2+dfsg1-1+b1_arm64.deb440.9 KiB2022-10-05 07:11:50
libcryptominisat5-5.11_5.11.4+dfsg1-2_armhf.deb449.9 KiB2022-11-03 19:59:48
libcryptominisat5-5.11_5.11.2+dfsg1-1+b1_armhf.deb450.8 KiB2022-10-05 07:11:48
python3-cryptominisat_5.11.4+dfsg1-2_armel.deb461.8 KiB2022-11-03 20:15:20
python3-cryptominisat_5.11.2+dfsg1-1+b1_armel.deb463.8 KiB2022-10-05 07:42:02
python3-cryptominisat_5.11.4+dfsg1-2_armhf.deb472.7 KiB2022-11-03 19:59:48
python3-cryptominisat_5.11.2+dfsg1-1+b1_armhf.deb473.5 KiB2022-10-05 07:11:48
python3-cryptominisat_5.11.4+dfsg1-2_arm64.deb478.2 KiB2022-11-03 19:44:36
python3-cryptominisat_5.11.2+dfsg1-1+b1_arm64.deb478.7 KiB2022-10-05 07:11:50
libcryptominisat5-5.11_5.11.4+dfsg1-2_amd64.deb490.1 KiB2022-11-03 20:15:17
libcryptominisat5-5.11_5.11.2+dfsg1-1+b1_amd64.deb490.8 KiB2022-10-05 06:56:46
libcryptominisat5-5.11_5.11.4+dfsg1-2_i386.deb515.5 KiB2022-11-03 20:09:51
libcryptominisat5-5.11_5.11.2+dfsg1-1+b1_i386.deb516.3 KiB2022-10-05 06:56:45
cryptominisat_5.11.4+dfsg1.orig.tar.xz517.8 KiB2022-10-28 21:20:08
python3-cryptominisat_5.11.4+dfsg1-2_amd64.deb520.0 KiB2022-11-03 20:15:17
python3-cryptominisat_5.11.2+dfsg1-1+b1_amd64.deb520.6 KiB2022-10-05 06:56:46
python3-cryptominisat_5.11.4+dfsg1-2_i386.deb575.4 KiB2022-11-03 20:09:51
python3-cryptominisat_5.11.2+dfsg1-1+b1_i386.deb576.6 KiB2022-10-05 06:56:45