Index of /Raspbian/raspbian/pool/main/c/cryptominisat
Name Last modified Size Description
Parent Directory -
cryptominisat_5.11.4+dfsg1.orig.tar.xz 2022-10-29 05:20 518K
cryptominisat_5.6.4+dfsg.1.orig.tar.gz 2018-08-29 11:39 481K
cryptominisat_5.11.21+dfsg1.orig.tar.xz 2024-05-03 14:30 470K
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb 2023-02-01 00:08 461K
python3-cryptominisat_5.11.21+dfsg1-1+b1_armhf.deb 2024-07-09 18:08 460K
cryptominisat_5.8.0+dfsg1.orig.tar.xz 2020-07-11 22:16 441K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b1_ar..> 2024-07-09 18:08 440K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb 2023-02-01 00:08 433K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_armhf.deb 2020-12-08 06:08 362K
cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb 2020-12-08 06:08 81K
cryptominisat_5.11.21+dfsg1-1+b1_armhf.deb 2024-07-09 18:08 78K
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb 2023-02-01 00:08 67K
cryptominisat_5.6.4+dfsg.1-1.debian.tar.xz 2018-08-29 11:39 19K
libcryptominisat5-dev_5.11.21+dfsg1-1+b1_armhf.deb 2024-07-09 18:08 19K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb 2023-02-01 00:08 18K
python3-cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb 2020-12-08 06:08 18K
libcryptominisat5-dev_5.8.0+dfsg1-1+b1_armhf.deb 2020-12-08 06:08 14K
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz 2024-05-03 14:30 6.5K
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz 2020-07-11 22:16 6.0K
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz 2022-11-04 03:09 5.2K
cryptominisat_5.11.21+dfsg1-1.dsc 2024-05-03 14:30 2.4K
cryptominisat_5.11.4+dfsg1-2.dsc 2022-11-04 03:09 2.4K
cryptominisat_5.8.0+dfsg1-1.dsc 2020-07-11 22:16 2.4K
cryptominisat_5.6.4+dfsg.1-1.dsc 2018-08-29 11:39 1.7K
Apache/2.4.62 (Debian) Server at mirror.freedif.org Port 443