ghc-typelits-presburger-0.2.0.2: dependencies

Dependencies for ghc-typelits-presburger-0.2.0.2

library	base (>=4.7 && <5) containers equational-reasoning (>=0.4.0.0) ghc (>=7.10 && <8.5) ghc-tcplugins-extra (>=0.2 && <0.4) pretty reflection singletons
simple-arith	base equational-reasoning ghc-typelits-presburger singletons 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