equivalence 0.4.1

2 Reverse deps Accepted versions
Agda >=0.3.2 && <0.5
ecta >=0.4.1