cryptominisat is marked for autoremoval from testing

Debian testing autoremoval watch noreply at release.debian.org
Mon Dec 24 04:39:05 GMT 2018

Previous message (by thread): cryptominisat is marked for autoremoval from testing
Next message (by thread): woo is marked for autoremoval from testing
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): cryptominisat is marked for autoremoval from testing
Next message (by thread): woo is marked for autoremoval from testing
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the debian-science-maintainers mailing list