Hackage :: [Package]

uAgda: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
101
VersionReverse dependencies
1.0.0.0
1.0.0.1
1.0.0.2
1.1.0.0
1.2.0.0
1.2.0.1
1.2.0.2
1.2.0.3
1.2.0.4