Hackage :: [Package]

Metadata revisions for Agda-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
-r3 (Agda-2.5.2-r3) 2017-08-02T00:46:51Z AndresSicardRamirez 28af7449a60bce1d020020524e72779415d04dd2a83dee57ec62eff484834282

  • Changed source-repository from 

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

-r2 (Agda-2.5.2-r2) 2017-01-30T14:29:01Z AndresSicardRamirez 4db0b12bc07e72fe1b180acad2a0d59ac11d9a1d45698b46cede7b634fb6bfff

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

    >=0.7.8 && <0.8
    to 
    >=0.7.8 && <0.9
-r1 (Agda-2.5.2-r1) 2016-12-23T19:00:27Z AndresSicardRamirez 44f0f96c5d26202f964c575e5f94fe52686f4b889078ddfdafef0c6fd2571b47

  • Changed source-repository from 

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

-r0 (Agda-2.5.2-r0) 2016-12-22T12:39:35Z AndresSicardRamirez 309ca7cf8a9806aef0592aa9839ca5748be2aa329b107579c4db4bcc1579b255