Index of /pureos/pool/main/c/cryptominisat/
../
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 14-Jun-2023 23:49 75K
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 14-Jun-2023 23:49 69K
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz 14-Jun-2023 15:14 5360
cryptominisat_5.11.4+dfsg1-2.dsc 14-Jun-2023 15:14 2459
cryptominisat_5.11.4+dfsg1.orig.tar.xz 14-Jun-2023 15:14 518K
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 13-Dec-2020 02:57 86K
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 20:49 81K
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz 15-Jul-2020 15:16 6188
cryptominisat_5.8.0+dfsg1-1.dsc 15-Jul-2020 15:16 2408
cryptominisat_5.8.0+dfsg1.orig.tar.xz 15-Jul-2020 15:16 441K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb 14-Jun-2023 23:49 490K
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb 14-Jun-2023 23:49 440K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb 13-Dec-2020 02:57 406K
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 20:49 370K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb 14-Jun-2023 23:49 18K
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb 14-Jun-2023 23:49 18K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb 13-Dec-2020 02:57 14K
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 20:49 14K
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 14-Jun-2023 23:49 520K
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 14-Jun-2023 23:49 479K
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 13-Dec-2020 02:57 19K
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 20:49 18K