agda-snippets: total reverse dependencies

Direct reverse dependenciesIndirect reverse dependenciesTotal
112
Package nameTotal reverse dependencies
acme-everything0 (view)
agda-snippets-hakyll1 (view)