bv-sized 1.0.1

2 Reverse deps Accepted versions
cryptol >=1.0 && <1.1
what4 >=1.0.0