Metadata revisions for Agda-220.127.116.11
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.
|-r2||Fri Mar 4 15:52:33 UTC 2016||AndresSicardRamirez||
|-r1||Sun Jan 17 01:53:47 UTC 2016||AndresSicardRamirez||
|-r0||Fri Dec 18 22:54:29 UTC 2015||AndresSicardRamirez||