cryptominisat is marked for autoremoval from testing

Debian testing autoremoval watch noreply at release.debian.org
Tue Dec 4 04:39:06 GMT 2018


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




More information about the debian-science-maintainers mailing list