Metadata revisions for Agda-22.214.171.124
Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.
|-r1||Thu Dec 1 18:02:34 UTC 2016||HerbertValerioRiedel||
|-r0||Sat Sep 26 13:44:54 UTC 2015||AndresSicardRamirez||