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

../
cryptominisat-dbgsym_5.11.21+dfsg1-1+b3_x32.deb    07-Jan-2025 18:03             1332236
cryptominisat_5.11.21+dfsg1-1+b3_x32.buildinfo     07-Jan-2025 18:03               10559
cryptominisat_5.11.21+dfsg1-1+b3_x32.deb           07-Jan-2025 18:03               92740
libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-..> 07-Jan-2025 18:03             7302264
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_x3..> 07-Jan-2025 18:03              526232
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_x32.deb   07-Jan-2025 18:03               19036
python3-cryptominisat-dbgsym_5.11.21+dfsg1-1+b3..> 07-Jan-2025 18:03             7037120
python3-cryptominisat_5.11.21+dfsg1-1+b3_x32.deb   07-Jan-2025 18:03              594340