Bug#913390: cryptominisat FTBFS on !amd64: symbol differences

[Adrian Bunk]

Source: cryptominisat
Version: 5.6.4+dfsg.1-1
Severity: important
Tags: ftbfs

https://buildd.debian.org/status/package.php?p=cryptominisat&suite=sid