Dependencies for type-natural-1.3.0.2

Libraries

type-natural

base (>=4 && <5)
constraints (>=0.3)
equational-reasoning (>=0.4.1.1)
ghc
ghc-typelits-knownnat
ghc-typelits-natnormalise (>=0.4)
integer-logarithms
template-haskell (>=2.8)
if impl(ghc>=9.8.4)
- ghc-typelits-presburger (>=0.7.4.1)
else
- if impl(ghc>=9.8)
  - ghc-typelits-presburger (>=0.7.3)
  else
  - if impl(ghc>=9.6)
    - ghc-typelits-presburger (>=0.7.2)
    else
    - if impl(ghc>=9.4)
      - ghc-typelits-presburger (>=0.7.1)
      else
      - ghc-typelits-presburger