Package: agda-stdlib / 0.12-2

Metadata

Package Version Patches format
agda-stdlib 0.12-2 3.0 (quilt)

This package has no patches.