Bug#842892: java.lang.UnsatisfiedLinkError: libz3java.so: undefined symbol: Z3_solver_get_model
Andreas Beckmann
anbe at debian.org
Wed Jul 31 11:04:13 BST 2019
Followup-For: Bug #842892
Control: tag -1 patch
Hi,
the attached patch should fix the wrong SONAME of libz3java.so.
Andreas
More information about the Pkg-llvm-team
mailing list