../ cryptominisat_5.6.4+dfsg.1-1.debian.tar.xz 29-Aug-2018 03:39 19928 cryptominisat_5.6.4+dfsg.1-1.dsc 29-Aug-2018 03:39 1720 cryptominisat_5.6.4+dfsg.1.orig.tar.gz 29-Aug-2018 03:39 492403 cryptominisat_5.7.1+dfsg1-1.debian.tar.xz 08-May-2020 10:16 4692 cryptominisat_5.7.1+dfsg1-1.dsc 08-May-2020 10:16 2408 cryptominisat_5.7.1+dfsg1.orig.tar.xz 08-May-2020 10:16 410248