sbv 7.3

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