presburger 1.3.1

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