Hackage :: [Package]

Metadata revisions for agda-snippets-2.5.1

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-snippets-2.5.1-r1) 2017-06-04T19:35:52Z HerbertValerioRiedel 1908513b0461f0e67f6618a82bee001014febf21092198dde5160eb59a38be5c

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

    >=4.7 && <4.9
    to 
    >=4.8 && <4.9
-r0 (agda-snippets-2.5.1-r0) 2016-04-19T03:56:38Z LiamOConnorDavis ddac14d851385e3d8d88ed826ddc661ee7bf38161fdd2f65fd9ba3630f650ce8