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/--
cryptominisat_5.11.21+dfsg1-1.dsc2.4 KiB2024-05-03 06:30:46
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz6.5 KiB2024-05-03 06:30:46
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_armel.deb18.6 KiB2024-10-28 22:47:36
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_amd64.deb18.6 KiB2025-01-07 13:47:17
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_arm64.deb18.6 KiB2024-10-29 02:43:01
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_armhf.deb18.6 KiB2024-10-28 20:13:08
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_amd64.deb18.6 KiB2024-10-28 16:52:12
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_i386.deb18.6 KiB2025-01-07 14:02:52
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_armel.deb18.6 KiB2025-01-07 14:13:19
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_i386.deb18.6 KiB2024-10-28 17:41:27
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_arm64.deb18.6 KiB2025-01-07 14:02:55
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_armhf.deb18.6 KiB2025-01-07 14:28:55
cryptominisat_5.11.21+dfsg1-1+b2_armel.deb78.4 KiB2024-10-28 22:47:36
cryptominisat_5.11.21+dfsg1-1+b3_armel.deb78.7 KiB2025-01-07 14:13:19
cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb79.1 KiB2025-01-07 14:02:55
cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb79.2 KiB2024-10-29 02:43:00
cryptominisat_5.11.21+dfsg1-1+b3_armhf.deb81.3 KiB2025-01-07 14:28:55
cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb81.3 KiB2024-10-28 20:13:08
cryptominisat_5.11.21+dfsg1-1+b2_amd64.deb89.0 KiB2024-10-28 16:52:12
cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb89.2 KiB2025-01-07 13:47:17
cryptominisat_5.11.21+dfsg1-1+b2_i386.deb95.4 KiB2024-10-28 17:41:27
cryptominisat_5.11.21+dfsg1-1+b3_i386.deb95.5 KiB2025-01-07 14:02:52
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_armel.deb447.7 KiB2024-10-28 22:47:36
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_armel.deb447.9 KiB2025-01-07 14:13:19
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_arm64.deb461.0 KiB2025-01-07 14:02:55
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_arm64.deb461.3 KiB2024-10-29 02:43:01
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_armhf.deb465.4 KiB2024-10-28 20:13:08
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_armhf.deb466.2 KiB2025-01-07 14:28:55
cryptominisat_5.11.21+dfsg1.orig.tar.xz470.2 KiB2024-05-03 06:30:46
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_amd64.deb509.1 KiB2024-10-28 16:52:12
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_amd64.deb509.2 KiB2025-01-07 13:47:17
python3-cryptominisat_5.11.21+dfsg1-1+b2_armel.deb511.2 KiB2024-10-28 22:47:36
python3-cryptominisat_5.11.21+dfsg1-1+b3_armel.deb511.7 KiB2025-01-07 14:13:19
python3-cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb524.4 KiB2024-10-28 20:13:08
python3-cryptominisat_5.11.21+dfsg1-1+b3_armhf.deb524.9 KiB2025-01-07 14:28:55
python3-cryptominisat_5.11.21+dfsg1-1+b2_arm64.deb529.3 KiB2024-10-29 02:43:01
python3-cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb529.5 KiB2025-01-07 14:02:55
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_i386.deb534.7 KiB2025-01-07 14:02:52
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_amd64.deb576.6 KiB2024-10-28 16:52:12
python3-cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb576.7 KiB2025-01-07 13:47:17
python3-cryptominisat_5.11.21+dfsg1-1+b2_i386.deb631.6 KiB2024-10-28 17:41:27
python3-cryptominisat_5.11.21+dfsg1-1+b3_i386.deb631.8 KiB2025-01-07 14:02:52