bv-sized 1.0.5

4 Reverse deps Accepted versions
bv-sized-lens >=1.0 && <1.1
copilot-theorem >=1.0.2 && <1.1
cryptol >=1.0 && <1.1
what4 >=1.0.0