Package: agda / 2.2.6-7

Metadata

Package Version Patches format
agda 2.2.6-7 3.0 (quilt)

This package has no patches.