agda-snippets: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
112
VersionReverse dependencies
2.4.2.4
2.4.2.5
2.5.1
2.5.2