ghc-typelits-presburger-0.7.2.0: dependencies

Dependencies for ghc-typelits-presburger-0.7.2.0

library	base (>=4.7 && <5) containers ghc (<9.7) ghc-tcplugins-extra (>=0.2 && <0.5) mtl pretty reflection syb transformers
simple-arith-core	base equational-reasoning ghc-typelits-presburger if !flag(examples) buildable: False

Automatic Flags

Name	Description	Default
examples	Builds example	Disabled

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