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.15+dfsg1-1.dsc2.4 KiB2023-12-14 09:37:20
cryptominisat_5.11.15+dfsg1-1.1.dsc2.5 KiB2024-02-27 23:23:53
cryptominisat_5.11.15+dfsg1-1.debian.tar.xz5.3 KiB2023-12-14 09:37:20
cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz5.5 KiB2024-02-27 23:23:53
libcryptominisat5-dev_5.11.15+dfsg1-1.1_amd64.deb18.2 KiB2024-02-27 23:54:41
libcryptominisat5-dev_5.11.15+dfsg1-1.1_arm64.deb18.2 KiB2024-02-28 00:04:48
libcryptominisat5-dev_5.11.15+dfsg1-1.1_i386.deb18.2 KiB2024-02-27 23:54:31
libcryptominisat5-dev_5.11.15+dfsg1-1.1_armel.deb18.2 KiB2024-02-28 00:04:47
libcryptominisat5-dev_5.11.15+dfsg1-1.1_armhf.deb18.2 KiB2024-02-27 23:54:30
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armhf.deb18.4 KiB2024-01-05 21:18:42
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_i386.deb18.4 KiB2024-01-05 22:24:40
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armel.deb18.4 KiB2024-01-05 22:19:28
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_arm64.deb18.4 KiB2024-01-05 19:40:25
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_amd64.deb18.4 KiB2024-01-05 21:41:02
cryptominisat_5.11.15+dfsg1-1.1_armel.deb69.8 KiB2024-02-28 00:04:47
cryptominisat_5.11.15+dfsg1-1+b2_armel.deb69.9 KiB2024-01-05 22:19:28
cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb71.1 KiB2024-01-05 21:18:42
cryptominisat_5.11.15+dfsg1-1.1_armhf.deb71.1 KiB2024-02-27 23:54:30
cryptominisat_5.11.15+dfsg1-1.1_arm64.deb72.2 KiB2024-02-28 00:04:48
cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb72.3 KiB2024-01-05 19:40:25
cryptominisat_5.11.15+dfsg1-1.1_amd64.deb78.7 KiB2024-02-27 23:54:41
cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb79.0 KiB2024-01-05 21:41:02
cryptominisat_5.11.15+dfsg1-1.1_i386.deb81.6 KiB2024-02-27 23:54:31
cryptominisat_5.11.15+dfsg1-1+b2_i386.deb81.9 KiB2024-01-05 22:24:40
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armel.deb439.3 KiB2024-01-05 22:19:28
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armel.deb439.3 KiB2024-02-28 00:04:47
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_arm64.deb448.9 KiB2024-02-28 00:04:48
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_arm64.deb448.9 KiB2024-01-05 19:40:25
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armhf.deb456.6 KiB2024-02-27 23:54:30
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armhf.deb456.8 KiB2024-01-05 21:18:42
python3-cryptominisat_5.11.15+dfsg1-1+b2_armel.deb460.5 KiB2024-01-05 22:19:28
python3-cryptominisat_5.11.15+dfsg1-1.1_armel.deb461.7 KiB2024-02-28 00:04:47
cryptominisat_5.11.15+dfsg1.orig.tar.xz463.7 KiB2023-12-14 09:37:20
python3-cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb470.4 KiB2024-01-05 21:18:42
python3-cryptominisat_5.11.15+dfsg1-1.1_armhf.deb470.6 KiB2024-02-27 23:54:30
python3-cryptominisat_5.11.15+dfsg1-1.1_arm64.deb477.4 KiB2024-02-28 00:04:48
python3-cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb477.8 KiB2024-01-05 19:40:25
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_amd64.deb494.1 KiB2024-02-27 23:54:41
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_amd64.deb494.2 KiB2024-01-05 21:41:02
python3-cryptominisat_5.11.15+dfsg1-1.1_amd64.deb515.9 KiB2024-02-27 23:54:41
python3-cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb516.2 KiB2024-01-05 21:41:02
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_i386.deb519.0 KiB2024-02-27 23:54:31
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_i386.deb519.1 KiB2024-01-05 22:24:40
python3-cryptominisat_5.11.15+dfsg1-1.1_i386.deb571.5 KiB2024-02-27 23:54:31
python3-cryptominisat_5.11.15+dfsg1-1+b2_i386.deb571.8 KiB2024-01-05 22:24:40