Metadata revisions for agda-snippets-2.4.2.5

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 2017-06-05T16:09:30Z HerbertValerioRiedel ba9c6c711722bb2bfaa5661634abf0a0fe8c14b466e2fe0521ba9c81406b4235
  • Changed the library component's library dependency on 'base' from

    >=4.7 && <4.9
    to
    >=4.8 && <4.9

-r0 2016-01-24T19:15:12Z LiamOConnorDavis 771155e561f39b9411b7e2524502a817686d2ccc9cb4e285d1e213d5c78c0ba0