equivalence: 3 reverse dependencies

No version specified, so showing reverse dependencies for latest version.
Depend on the latest versionDepend on other versionsTotal
213
Package nameVersionReverse dependencies
Agda2.6.4.38 (view)
ecta1.0.0.31 (view)