ghc-typelits-presburger-0.1.1.1: dependencies

Dependencies for ghc-typelits-presburger-0.1.1.1

library	base (>=4.7 && <5) equational-reasoning (>=0.4.0.0 && <0.6) ghc (>=7.10 && <8.4) ghc-tcplugins-extra (>=0.2 && <0.3) presburger (>=1.3 && <1.4) reflection (>=2.1.2 && <2.2)
simple-arith	base (>=4.7 && <5) equational-reasoning (>=0.5.0.0 && <0.6) ghc-typelits-presburger (>=0.1.1.1 && <0.2) singletons (>=2.2 && <2.4) if !flag(examples) buildable: False

Automatic Flags

Name	Description	Default
examples		Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info