equivalence 0.3.2

1 Reverse dep Accepted versions
Agda >=0.2.5 && <0.4