eq-3.1: dependencies

Dependencies for eq-3.1

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