src:z3
Date: 2024-05-04 05:00:03
Build-dependencies testing (main only)
| package | summary |
|---|---|
| z3 (= 4.8.12-3.1) | unsatisfied dependency on libreadline8 (>= 6.0) |
Crossbuild-dependencies unstable on amd64 (main only)
| package | summary |
|---|---|
| z3 (= 4.8.12-3.1) | unsatisfied dependency on javahelper |