equivalence: 4 reverse dependencies

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