tamarin-prover-utils: 3 reverse dependencies
No version specified, so showing reverse dependencies for latest version.| Depend on the latest version | Depend on other versions | Total |
|---|---|---|
| 2 | 1 | 3 |
| Package name | Version | Reverse dependencies |
|---|---|---|
| tamarin-prover-term | 0.8.5.1 | 2 (view) |
| tamarin-prover-theory | 0.8.6.0 | 1 (view) |