Hackage :: [Package]

Metadata revisions for agda-snippets-2.4.2.4

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.4.2.4-r1) 2017-06-05T16:09:39Z HerbertValerioRiedel 9e227b4aa7cb0c3f5313604286bd13517931546ac876dd39e4fd84df676c503f

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

    >=4.7 && <4.9
    to 
    >=4.8 && <4.9
-r0 (agda-snippets-2.4.2.4-r0) 2015-11-04T16:39:43Z LiamOConnorDavis 448642da0018eaddb40a58b7fc70881585eab247c7a971e6aa2a90cf293bc29c