Bug#842892: java.lang.UnsatisfiedLinkError: libz3java.so: undefined symbol: Z3_solver_get_model

Andreas Beckmann anbe at debian.org
Sat Aug 24 10:06:29 BST 2019

Previous message (by thread): ###-Fast Publication August Issue 2019
Next message (by thread): Processing of z3_4.4.1-1~deb9u1_source.changes
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Followup-For: Bug #842892

Hi,

I've just opened 2 PU requests to get this bug fixed in buster and
stretch:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=935576
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=935581

Andreas

Previous message (by thread): ###-Fast Publication August Issue 2019
Next message (by thread): Processing of z3_4.4.1-1~deb9u1_source.changes
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-llvm-team mailing list