equational-reasoning-0.0.1.0: dependencies

Dependencies for equational-reasoning-0.0.1.0

library	base (>=4.6 && <4.7) singletons (>=0.8 && <0.9) tagged (>=0.6 && <0.7) void (>=0.6 && <0.7)