Hackage :: [Package]

Metadata revisions for Agda-2.5.3

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
-r5 (Agda-2.5.3-r5) 2018-02-05T16:21:51Z AndresSicardRamirez 7ac9cac6f799207bdf292608aeab2c1e142e74ee4c61da0cda18de44ca4d9e32

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

    >=2.0.2 && <2.3
    to 
    >=2.0.2 && <2.2
-r4 (Agda-2.5.3-r4) 2018-02-05T14:31:18Z AndresSicardRamirez a2c6a1a633047f5e8bd799f6e7334a9af004818555d695d8676ced93ab5d63b0

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

    >=2.0.2 && <2.2
    to 
    >=2.0.2 && <2.3
-r3 (Agda-2.5.3-r3) 2018-01-05T16:13:21Z AndresSicardRamirez d129efc1b34cf9f6cb5d967d9065c7656e1f3f86c5d52aa7f6ee484e7cdca1c1

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

    >=1.3.1.1 && <1.3.2
    to 
    ==1.3.1.1 || >=1.3.2.1 && <1.4
-r2 (Agda-2.5.3-r2) 2017-12-31T07:51:50Z AndresSicardRamirez 896972e92c47e53133c3f5123cdbf993a486014c2e1742502e51721048d901ee

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

    >=1.3.1.1 && <1.4
    to 
    >=1.3.1.1 && <1.3.2
-r1 (Agda-2.5.3-r1) 2017-12-31T06:40:14Z AndresSicardRamirez eec63ce4e74fe170722fb7b79af9c0a50b5cfa4a969b8919e8f6c6fe19eecb5b

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

    >=1.3.1.1 && <1.3.2
    to 
    >=1.3.1.1 && <1.4
-r0 (Agda-2.5.3-r0) 2017-09-08T22:22:46Z AndresSicardRamirez 673780d449044519da4096b844598e3d6daac10a0f1105b92de0290fe9dd17a9