Reverse dependencies on bv-sized-1.0.5

There is a total of 2 dependencies in nightly-2024-07-09

<< Return to package page

• copilot-theorem-3.20
• what4-1.6