z3 is marked for autoremoval from testing

Debian testing autoremoval watch noreply at release.debian.org
Mon Oct 14 05:39:07 BST 2019

Previous message (by thread): Bug#942229: Issue confirmed on Buster i386
Next message (by thread): Processed: fixed
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

z3 4.8.4-1 is marked for autoremoval from testing on 2019-11-19

It is affected by these RC bugs:
941857: z3: Z3 4.8.4 contains cache bugs and should not be packaged

Previous message (by thread): Bug#942229: Issue confirmed on Buster i386
Next message (by thread): Processed: fixed
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-llvm-team mailing list