A new upstream version is available: 5.6.8

package:
cryptominisat
severity:
high
created:
2018-11-10
last updated:
2019-10-20

A new upstream version 5.6.8 is available, you should consider packaging it.