../ cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb 07-Dec-2020 22:08 82548 libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_armhf.deb 07-Dec-2020 22:08 371188 libcryptominisat5-dev_5.8.0+dfsg1-1+b1_armhf.deb 07-Dec-2020 22:08 13948 python3-cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb 07-Dec-2020 22:08 17944