Hackage :: [Package]

Metadata revisions for agda-snippets-2.5.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-snippets-2.5.2-r1) 2017-06-04T19:32:57Z HerbertValerioRiedel 2d54cee080a97a0e48cdaed572f4fb4485ac127e272379204dc8677d017ccad3

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

    >=4.7 && <4.10
    to 
    >=4.8 && <4.10
-r0 (agda-snippets-2.5.2-r0) 2017-06-04T10:57:25Z LiamOConnorDavis a7d015fcc83af27044ed7ac399b240aeaa8203777c0aa0471a904bc9953f4ef0