Metadata revisions for Agda-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 Changes
-r2 Fri Mar 4 15:52:33 UTC 2016 AndresSicardRamirez
  • Changed source-repository from

     
    source-repository this
        type: git
        location: https://github.com/agda/agda
        tag: 2.4.2.5
    to
     
    source-repository this
        type: git
        location: https://github.com/agda/agda/tree/2.4.2.5
        tag: 2.4.2.5

-r1 Sun Jan 17 01:53:47 UTC 2016 AndresSicardRamirez
  • Changed the library component's library dependency on 'transformers-compat' from

    >=0.3.3.3 && <0.5
    to
    >=0.3.3.3 && <0.6

  • Changed the library component's library dependency on 'unordered-containers' from

    >=0.2.5.0 && <0.3
    to
    >=0.2.5.0 && <0.2.6

-r0 Fri Dec 18 22:54:29 UTC 2015 AndresSicardRamirez