Package: agda-stdlib / 2.3-1

Metadata

Package Version Patches format
agda-stdlib 2.3-1 3.0 (quilt)

This package has no patches.