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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_arm64.deb18.6 KiB2024-10-29 02:43:01
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_arm64.deb461.3 KiB2024-10-29 02:43:01
python3-cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb529.3 KiB2024-10-29 02:43:01
cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb79.2 KiB2024-10-29 02:43:00
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_armel.deb447.7 KiB2024-10-28 22:47:36
python3-cryptominisat_5.11.21+dfsg1-1+b2_armel.deb511.2 KiB2024-10-28 22:47:36
cryptominisat_5.11.21+dfsg1-1+b2_armel.deb78.4 KiB2024-10-28 22:47:36
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_armel.deb18.6 KiB2024-10-28 22:47:36
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_armhf.deb18.6 KiB2024-10-28 20:13:08
cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb81.3 KiB2024-10-28 20:13:08
python3-cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb524.4 KiB2024-10-28 20:13:08
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_armhf.deb465.4 KiB2024-10-28 20:13:08
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_i386.deb18.6 KiB2024-10-28 17:41:27
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_i386.deb534.7 KiB2024-10-28 17:41:27
python3-cryptominisat_5.11.21+dfsg1-1+b2_i386.deb631.6 KiB2024-10-28 17:41:27
cryptominisat_5.11.21+dfsg1-1+b2_i386.deb95.4 KiB2024-10-28 17:41:27
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_amd64.deb18.6 KiB2024-10-28 16:52:12
cryptominisat_5.11.21+dfsg1-1+b2_amd64.deb89.0 KiB2024-10-28 16:52:12
python3-cryptominisat_5.11.21+dfsg1-1+b2_amd64.deb576.6 KiB2024-10-28 16:52:12
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_amd64.deb509.1 KiB2024-10-28 16:52:12
libcryptominisat5-dev_5.11.21+dfsg1-1+b1_armhf.deb18.6 KiB2024-06-24 13:51:48
cryptominisat_5.11.21+dfsg1-1+b1_armhf.deb79.9 KiB2024-06-24 13:51:48
python3-cryptominisat_5.11.21+dfsg1-1+b1_armhf.deb470.1 KiB2024-06-24 13:51:48
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b1_armhf.deb457.6 KiB2024-06-24 13:51:48
cryptominisat_5.11.21+dfsg1-1+b1_i386.deb94.3 KiB2024-06-24 13:20:46
python3-cryptominisat_5.11.21+dfsg1-1+b1_i386.deb570.9 KiB2024-06-24 13:20:46
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b1_i386.deb518.0 KiB2024-06-24 13:20:46
libcryptominisat5-dev_5.11.21+dfsg1-1+b1_i386.deb18.6 KiB2024-06-24 13:20:46
libcryptominisat5-dev_5.11.21+dfsg1-1+b1_amd64.deb18.6 KiB2024-06-24 13:15:28
cryptominisat_5.11.21+dfsg1-1+b1_amd64.deb87.9 KiB2024-06-24 13:15:28
python3-cryptominisat_5.11.21+dfsg1-1+b1_amd64.deb514.8 KiB2024-06-24 13:15:28
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b1_amd64.deb491.8 KiB2024-06-24 13:15:28
python3-cryptominisat_5.11.21+dfsg1-1+b1_armel.deb460.1 KiB2024-06-24 13:10:19
libcryptominisat5-dev_5.11.21+dfsg1-1+b1_armel.deb18.6 KiB2024-06-24 13:10:19
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b1_armel.deb438.4 KiB2024-06-24 13:10:18
cryptominisat_5.11.21+dfsg1-1+b1_armel.deb77.4 KiB2024-06-24 13:10:18
cryptominisat_5.11.21+dfsg1-1+b1_arm64.deb78.3 KiB2024-06-24 12:59:57
libcryptominisat5-dev_5.11.21+dfsg1-1+b1_arm64.deb18.6 KiB2024-06-24 12:59:57
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b1_arm64.deb450.2 KiB2024-06-24 12:59:57
python3-cryptominisat_5.11.21+dfsg1-1+b1_arm64.deb479.0 KiB2024-06-24 12:59:57
libcryptominisat5-dev_5.11.21+dfsg1-1_armel.deb18.3 KiB2024-05-03 07:01:01
python3-cryptominisat_5.11.21+dfsg1-1_armel.deb459.7 KiB2024-05-03 07:01:01
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armel.deb439.8 KiB2024-05-03 07:01:01
cryptominisat_5.11.21+dfsg1-1_armel.deb77.1 KiB2024-05-03 07:01:01
python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb469.8 KiB2024-05-03 06:51:00
cryptominisat_5.11.21+dfsg1-1_armhf.deb79.4 KiB2024-05-03 06:51:00
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb456.9 KiB2024-05-03 06:51:00
libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb18.3 KiB2024-05-03 06:51:00
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_i386.deb517.6 KiB2024-05-03 06:50:59
python3-cryptominisat_5.11.21+dfsg1-1_i386.deb570.4 KiB2024-05-03 06:50:59
libcryptominisat5-dev_5.11.21+dfsg1-1_i386.deb18.3 KiB2024-05-03 06:50:59
cryptominisat_5.11.21+dfsg1-1_i386.deb93.8 KiB2024-05-03 06:50:59
cryptominisat_5.11.21+dfsg1-1_amd64.deb87.7 KiB2024-05-03 06:50:57
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64.deb491.7 KiB2024-05-03 06:50:57
python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb514.1 KiB2024-05-03 06:50:57
libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb18.3 KiB2024-05-03 06:50:57
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb449.9 KiB2024-05-03 06:50:55
cryptominisat_5.11.21+dfsg1-1_arm64.deb78.0 KiB2024-05-03 06:50:55
python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb478.5 KiB2024-05-03 06:50:55
libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb18.3 KiB2024-05-03 06:50:55
cryptominisat_5.11.21+dfsg1.orig.tar.xz470.2 KiB2024-05-03 06:30:46
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz6.5 KiB2024-05-03 06:30:46
cryptominisat_5.11.21+dfsg1-1.dsc2.4 KiB2024-05-03 06:30:46