Index of /debian-ports/pool-x32/main/c/cryptominisat/

../
cryptominisat-dbgsym_5.11.21+dfsg1-1+b2_x32.deb    29-Oct-2024 00:03             1330992
cryptominisat_5.11.21+dfsg1-1+b2_x32.buildinfo     29-Oct-2024 00:03               10522
cryptominisat_5.11.21+dfsg1-1+b2_x32.deb           29-Oct-2024 00:03               92768
libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-..> 29-Oct-2024 00:03             7301604
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_x3..> 29-Oct-2024 00:03              526184
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_x32.deb   29-Oct-2024 00:03               19020
python3-cryptominisat-dbgsym_5.11.21+dfsg1-1+b2..> 29-Oct-2024 00:03             7036952
python3-cryptominisat_5.11.21+dfsg1-1+b2_x32.deb   29-Oct-2024 00:03              594084