Remove duplicate "Agda" entry
Remove duplicate "Agda" entry

The "Agda < 0" under @ars contradicts the "Agda" entry under @andreasabel.

fpco/stackage,michalkonecny/stackage,Daniel-Diaz/stackage,simonmichael/stackage,mrkkrp/stackage,jonschoning/stackage,iand675/stackage,soenkehahn/stackage