Index of /main/c/cryptominisat/

../
cryptominisat_5.6.4+dfsg.1-1.debian.tar.xz         09-Nov-2018 17:33               19928
cryptominisat_5.6.4+dfsg.1-1.dsc                   09-Nov-2018 17:33                1720
cryptominisat_5.6.4+dfsg.1.orig.tar.gz             09-Nov-2018 17:33              492403
cryptominisat_5.7.1+dfsg1-1.debian.tar.xz          11-May-2020 18:53                4692
cryptominisat_5.7.1+dfsg1-1.dsc                    11-May-2020 18:53                2408
cryptominisat_5.7.1+dfsg1.orig.tar.xz              11-May-2020 18:53              410248
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz          11-Jul-2020 14:16                6188
cryptominisat_5.8.0+dfsg1-1.dsc                    11-Jul-2020 14:16                2408
cryptominisat_5.8.0+dfsg1.orig.tar.xz              11-Jul-2020 14:16              451304