cryptominisat 5.6.4+dfsg.1-1 is marked for autoremoval from testing on 2018-12-25
It is affected by these RC bugs: 914711: cryptominisat: cryptominisat FTBFS on amd64: symbol differences -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
