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.15+dfsg1-1.dsc2.4 KiB2023-12-14 09:37:20
cryptominisat_5.11.21+dfsg1-1.dsc2.4 KiB2024-05-03 06:30:46
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
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz6.5 KiB2024-05-03 06:30:46
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.21+dfsg1-1_armel.deb18.3 KiB2024-05-03 07:01:01
libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb18.3 KiB2024-05-03 06:50:57
libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb18.3 KiB2024-05-03 06:51:00
libcryptominisat5-dev_5.11.21+dfsg1-1_i386.deb18.3 KiB2024-05-03 06:50:59
libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb18.3 KiB2024-05-03 06:50:55
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.21+dfsg1-1_armel.deb77.1 KiB2024-05-03 07:01:01
cryptominisat_5.11.21+dfsg1-1_arm64.deb78.0 KiB2024-05-03 06:50:55
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.21+dfsg1-1_armhf.deb79.4 KiB2024-05-03 06:51:00
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
cryptominisat_5.11.21+dfsg1-1_amd64.deb87.7 KiB2024-05-03 06:50:57
cryptominisat_5.11.21+dfsg1-1_i386.deb93.8 KiB2024-05-03 06:50:59
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.21+dfsg1-1_armel.deb439.8 KiB2024-05-03 07:01:01
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.21+dfsg1-1_arm64.deb449.9 KiB2024-05-03 06:50:55
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
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb456.9 KiB2024-05-03 06:51:00
python3-cryptominisat_5.11.21+dfsg1-1_armel.deb459.7 KiB2024-05-03 07:01:01
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.21+dfsg1-1_armhf.deb469.8 KiB2024-05-03 06:51:00
cryptominisat_5.11.21+dfsg1.orig.tar.xz470.2 KiB2024-05-03 06:30:46
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
python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb478.5 KiB2024-05-03 06:50:55
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64.deb491.7 KiB2024-05-03 06:50:57
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.21+dfsg1-1_amd64.deb514.1 KiB2024-05-03 06:50:57
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.21+dfsg1-1_i386.deb517.6 KiB2024-05-03 06:50:59
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.21+dfsg1-1_i386.deb570.4 KiB2024-05-03 06:50:59
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