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.

No. Time User Changes
#2 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
#1 Sun Jan 17 01:53:47 UTC 2016 AndresSicardRamirez
  • Changed the library component's dependency on transformers-compat from

    >=0.3.3.3 && <0.5
    to
    >=0.3.3.3 && <0.6
  • Changed the library component's dependency on unordered-containers from

    >=0.2.5.0 && <0.3
    to
    >=0.2.5.0 && <0.2.6
#0 Fri Dec 18 22:54:29 UTC 2015 AndresSicardRamirez