z3 is marked for autoremoval from testing

Debian testing autoremoval watch noreply at release.debian.org
Wed Jul 24 05:39:03 BST 2019

Previous message (by thread): Bug#842892: java.lang.UnsatisfiedLinkError: libz3java.so: undefined symbol: Z3_solver_get_model
Next message (by thread): =?utf-8?Q?Do_300_000_z=C5=82._k=E1=B9=9Bedytu_bez_ZUS, _US_w_1_dzie=C5=84.?=
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

z3 4.4.1-0.4 is marked for autoremoval from testing on 2019-08-22

It is affected by these RC bugs:
842892: libz3-jni: java.lang.UnsatisfiedLinkError: libz3java.so: undefined symbol: Z3_solver_get_model

Previous message (by thread): Bug#842892: java.lang.UnsatisfiedLinkError: libz3java.so: undefined symbol: Z3_solver_get_model
Next message (by thread): =?utf-8?Q?Do_300_000_z=C5=82._k=E1=B9=9Bedytu_bez_ZUS, _US_w_1_dzie=C5=84.?=
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-llvm-team mailing list