Hackage :: [Package]

Metadata revisions for Agda-2.4.0.2

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.

No. Time User SHA256
-r1 (Agda-2.4.0.2-r1) 2015-07-04T20:12:04Z AdamBergmark 975490358a529e8cc8cc6c013da6bfc0e0dd1bf7cf25fa23829a3cdd9f695662

  • Changed the library component's library dependency on 'base' from 

    >=4.2 && <4.8
    to 
    >=4.4 && <4.8
-r0 (Agda-2.4.0.2-r0) 2014-07-29T19:30:29Z AndreasAbel 245cc2bd9b096f948ed7d18a4f59568ec3a82b7a0a4b80a4bfb09319e97db2d9