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

Adrian Bunk bunk at debian.org
Sat Nov 10 11:55:51 GMT 2018


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

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



More information about the debian-science-maintainers mailing list