libBF 0.6.2

4 Reverse deps Accepted versions
crackNum -any
cryptol >=0.6 && <0.7
sbv -any
what4 ==0.6.*