sbv 6.1

6 Reverse deps Accepted versions
camfort >=5.14
copilot-sbv >=5.0
cryptol >=5.12 && <5.15
linearEqSolver >=3.1
regex-genex ==5.*
sbvPlugin >=5.14