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


../
cryptominisat-dbgsym_5.8.0+dfsg1-1+b3_alpha.deb    13-Dec-2020 18:03             1159624
cryptominisat_5.8.0+dfsg1-1+b3_alpha.buildinfo     13-Dec-2020 18:03                9512
cryptominisat_5.8.0+dfsg1-1+b3_alpha.deb           13-Dec-2020 18:03               91572
libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1+b3_a..> 13-Dec-2020 18:03             5842540
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_alpha.deb   13-Dec-2020 18:03              432656
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_alpha.deb   13-Dec-2020 18:03               13940
python3-cryptominisat-dbgsym_5.8.0+dfsg1-1+b3_a..> 13-Dec-2020 18:03               83052
python3-cryptominisat_5.8.0+dfsg1-1+b3_alpha.deb   13-Dec-2020 18:03               19072