Reverse dependencies on Agda-2.5.1

There is a total of 2 dependencies in nightly-2016-05-19

<< Return to package page