sbv: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 12 | 11 | 23 |
| Package name | Total reverse dependencies |
|---|---|
| acme-everything | 0 (view) |
| arduino-copilot | 0 (view) |
| camfort | 1 (view) |
| copilot | 6 (view) |
| copilot-cbmc | 7 (view) |
| copilot-frp-sketch | 0 (view) |
| copilot-sbv | 8 (view) |
| copilot-verifier | 0 (view) |
| cryptol | 1 (view) |
| grisette | 1 (view) |
| grisette-monad-coroutine | 0 (view) |
| hedgehog-gen-json | 1 (view) |
| hevm | 0 (view) |
| linearEqSolver | 1 (view) |
| quickcheck-regex | 2 (view) |
| quickcheck-relaxng | 1 (view) |
| regex-genex | 4 (view) |
| sbv-program | 0 (view) |
| sbvPlugin | 1 (view) |
| scheduling | 0 (view) |
| sketch-frp-copilot | 2 (view) |
| verifiable-expressions | 2 (view) |
| zephyr-copilot | 0 (view) |