Dependencies for eq-3.1

Libraries

eq

base (>=4 && <5)
groupoids (>=3)
semigroupoids (>=3)