libBF 0.6.2

5 Reverse deps Accepted versions
copilot-theorem >=0.6.2 && <0.7
crackNum -any
cryptol >=0.6 && <0.7
sbv -any
what4 ==0.6.*