Index of /pureos/pool/main/c/cryptominisat/


../
cryptominisat_5.8.0+dfsg1-1+b1_amd64.deb           15-Jul-2020 15:19               97752
cryptominisat_5.8.0+dfsg1-1+b1_arm64.deb           15-Jul-2020 15:19               90156
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              451304
libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_amd64.deb   15-Jul-2020 15:19              429648
libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_arm64.deb   15-Jul-2020 15:19              387532
libcryptominisat5-dev_5.8.0+dfsg1-1+b1_amd64.deb   15-Jul-2020 15:19               13940
libcryptominisat5-dev_5.8.0+dfsg1-1+b1_arm64.deb   15-Jul-2020 15:19               13932
python3-cryptominisat_5.8.0+dfsg1-1+b1_amd64.deb   15-Jul-2020 15:19               19100
python3-cryptominisat_5.8.0+dfsg1-1+b1_arm64.deb   15-Jul-2020 15:19               18780