Reverse dependencies on agda-snippets-2.5.1

There is a total of 2 dependencies in lts-6.7

<< Return to package page