Index of /raspbian/pool/main/c/cryptominisat
Name Last modified Size Description
Parent Directory -
cryptominisat_5.11.15+dfsg1-1.debian.tar.xz 2023-12-14 03:37 5.3K
cryptominisat_5.11.15+dfsg1-1.dsc 2023-12-14 03:37 2.4K
cryptominisat_5.11.15+dfsg1-1_armhf.deb 2023-12-16 10:08 70K
cryptominisat_5.11.15+dfsg1.orig.tar.xz 2023-12-14 03:37 464K
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb 2023-01-31 10:08 67K
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz 2022-11-03 14:09 5.2K
cryptominisat_5.11.4+dfsg1-2.dsc 2022-11-03 14:09 2.4K
cryptominisat_5.11.4+dfsg1.orig.tar.xz 2022-10-28 16:20 518K
cryptominisat_5.6.4+dfsg.1-1.debian.tar.xz 2018-08-28 22:39 19K
cryptominisat_5.6.4+dfsg.1-1.dsc 2018-08-28 22:39 1.7K
cryptominisat_5.6.4+dfsg.1.orig.tar.gz 2018-08-28 22:39 481K
cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb 2020-12-07 16:08 81K
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz 2020-07-11 09:16 6.0K
cryptominisat_5.8.0+dfsg1-1.dsc 2020-07-11 09:16 2.4K
cryptominisat_5.8.0+dfsg1.orig.tar.xz 2020-07-11 09:16 441K
libcryptominisat5-5.11_5.11.15+dfsg1-1_armhf.deb 2023-12-16 10:08 437K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb 2023-01-31 10:08 433K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_armhf.deb 2020-12-07 16:08 362K
libcryptominisat5-dev_5.11.15+dfsg1-1_armhf.deb 2023-12-16 10:08 18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb 2023-01-31 10:08 18K
libcryptominisat5-dev_5.8.0+dfsg1-1+b1_armhf.deb 2020-12-07 16:08 14K
python3-cryptominisat_5.11.15+dfsg1-1_armhf.deb 2023-12-16 10:08 459K
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb 2023-01-31 10:08 461K
python3-cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb 2020-12-07 16:08 18K
Apache/2.4.59 (Debian) Server at raspbian.mirrors.lucidnetworks.net Port 80