Index of /kylinsoft/anything2.0/openkylin/pool/main/c/cryptominisat/

../
cryptominisat_5.11.15+dfsg1-ok1.debian.tar.xz      25-Mar-2024 18:03                4860
cryptominisat_5.11.15+dfsg1-ok1.dsc                25-Mar-2024 18:03                2287
cryptominisat_5.11.15+dfsg1-ok1_amd64.deb          28-Apr-2024 16:20               73376
cryptominisat_5.11.15+dfsg1-ok1_arm64.deb          30-Apr-2024 06:39               66200
cryptominisat_5.11.15+dfsg1-ok1_loong64.deb        04-Aug-2024 23:19               75640
cryptominisat_5.11.15+dfsg1-ok1_riscv64.deb        16-Jun-2024 04:19               77552
cryptominisat_5.11.15+dfsg1.orig.tar.xz            25-Mar-2024 18:03              474840
libcryptominisat5-5.11t64_5.11.15+dfsg1-ok1_amd..> 28-Apr-2024 16:20              417824
libcryptominisat5-5.11t64_5.11.15+dfsg1-ok1_arm..> 30-Apr-2024 06:39              373028
libcryptominisat5-5.11t64_5.11.15+dfsg1-ok1_loo..> 04-Aug-2024 23:19              491228
libcryptominisat5-5.11t64_5.11.15+dfsg1-ok1_ris..> 16-Jun-2024 04:19              503104
libcryptominisat5-dev_5.11.15+dfsg1-ok1_amd64.deb  28-Apr-2024 16:20               17548
libcryptominisat5-dev_5.11.15+dfsg1-ok1_arm64.deb  30-Apr-2024 06:39               17548
libcryptominisat5-dev_5.11.15+dfsg1-ok1_loong64..> 04-Aug-2024 23:19               17724
libcryptominisat5-dev_5.11.15+dfsg1-ok1_riscv64..> 16-Jun-2024 04:19               17520
python3-cryptominisat_5.11.15+dfsg1-ok1_amd64.deb  28-Apr-2024 16:20              487864
python3-cryptominisat_5.11.15+dfsg1-ok1_arm64.deb  30-Apr-2024 06:39              447828
python3-cryptominisat_5.11.15+dfsg1-ok1_loong64..> 04-Aug-2024 23:19              515580
python3-cryptominisat_5.11.15+dfsg1-ok1_riscv64..> 16-Jun-2024 04:19              525072