equational-reasoning-induction-0.6.0.0: dependencies

Dependencies for equational-reasoning-induction-0.6.0.0

library	base (>=4 && <5) singletons template-haskell (>=2.11 && <2.16) th-extras (>=0.0 && <0.1) if impl(ghc<8.4) semigroups (>=0.18 && <0.19)