Hackage :: [Package]

Agda: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
819
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
2.3.2
2.3.2.1
2.3.2.2
2.4.0
2.4.0.1
2.4.0.2
2.4.2
2.4.2.1
2.4.2.2
2.4.2.3
2.4.2.4
2.4.2.5
2.5.1
2.5.1.1
2.5.1.2
2.5.2
2.5.3
2.5.4
2.5.4.1
2.5.4.2
2.6.0
2.6.0.1
2.6.1
2.6.1.1
2.6.1.2
2.6.1.3
2.6.2
2.6.2.1
2.6.2.2
2.6.3
2.6.4
2.6.4.1
2.6.4.2
2.6.4.3