Processing control commands: > severity -1 grave Bug #842892 [libz3-jni] java.lang.UnsatisfiedLinkError: libz3java.so: undefined symbol: Z3_solver_get_model Severity set to 'grave' from 'important'
-- 842892: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=842892 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
