Hackage :: [Package]

Agda-executable: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
101
VersionReverse dependencies
2.2.0
2.2.2
2.2.4
2.2.6
2.2.8
2.2.10
2.3.0
2.3.0.1