sbv 5.15

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