A new upstream version is available: 5.6.6

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

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