sbv 8.5

7 Reverse deps Accepted versions
camfort >=8.0 && <9
copilot-sbv >=5.0
cryptol >=8.1
linearEqSolver >=7.3
regex-genex ==5.*
sbvPlugin >=8.0
verifiable-expressions >=8.0 && <9