z3: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 6 | 0 | 6 |
| Package name | Total reverse dependencies |
|---|---|
| Quelea | 1 (view) |
| acme-everything | 0 (view) |
| expressions-z3 | 1 (view) |
| ez3 | 1 (view) |
| ntha | 0 (view) |
| z3-encoding | 2 (view) |