Hackage :: [Package]

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 SHA256
-r2 (Agda-2.4.2.5-r2) 2016-03-04T15:52:33Z AndresSicardRamirez 9c7786cfae8d92deb077650a31f41d15b8e1c8f15450419c268fd16162753515

  • 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 (Agda-2.4.2.5-r1) 2016-01-17T01:53:47Z AndresSicardRamirez 85d09d8a607a351be092c5e168c35b8c303b20765ceb0f01cd34956c44ba7f5a

  • 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 (Agda-2.4.2.5-r0) 2015-12-18T22:54:29Z AndresSicardRamirez 4b2c94f6c8f5a5e992071597710034ab3c7fce041b1f064ba80ff2b6c6fb9092