Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
equivalence: 3 reverse dependencies
No version specified, so showing reverse dependencies for latest version.
Depend on the latest version
Depend on other versions
Total
2
1
3
Package name
Version
Reverse dependencies
Agda
2.7.0.1
8 (
view
)
ecta
1.0.0.3
1 (
view
)