presburger 1.3.1

3 Reverse deps Accepted versions
cryptol >=1.3
ghc-typelits-presburger >=1.3 && <1.4
inch ==0.4.*