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

../
cryptominisat-dbgsym_5.11.21+dfsg1-3+b3_x32.deb    17-Aug-2026 06:03             1354840
cryptominisat_5.11.21+dfsg1-3+b3_x32.buildinfo     17-Aug-2026 06:03               10373
cryptominisat_5.11.21+dfsg1-3+b3_x32.deb           17-Aug-2026 06:03               96896
libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-..> 17-Aug-2026 06:03             7095752
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_x3..> 17-Aug-2026 06:03              545924
libcryptominisat5-dev_5.11.21+dfsg1-3+b3_x32.deb   17-Aug-2026 06:03               18636
python3-cryptominisat-dbgsym_5.11.21+dfsg1-3+b3..> 17-Aug-2026 06:03             6846916
python3-cryptominisat_5.11.21+dfsg1-3+b3_x32.deb   17-Aug-2026 06:03              627552