Hackage :: [Package]

Metadata revisions for Agda-2.6.2.1

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
-r4 (Agda-2.6.2.1-r4) 2022-02-03T16:42:30Z AndreasAbel 8d75dd8d30c0527f2a8b3c1e4295474fc1e2a20d6d1860b6de8e22312d92fa6a

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

    >=0.3.2 && <0.4
    to 
    >=0.3.2 && <0.5
-r3 (Agda-2.6.2.1-r3) 2022-02-02T20:05:53Z AndreasAbel ba9591d7ec268aaebf2aa1fac64081d2b4a489428729ecc973bb09986823088b

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

    >=2.2.1 && <2.3
    to 
    >=2.2.1 && <2.4

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

    >=0.5 && <0.7
    to 
    >=0.5 && <0.6
-r2 (Agda-2.6.2.1-r2) 2022-01-03T12:36:14Z AndreasAbel 511a06a9e76ce5beb8917b8bf0a5e795251e0913a938155bc55e3d14283e03d8

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

    >=0.10.8.1 && <0.12
    to 
    >=0.10.8.1 && <0.11.2
-r1 (Agda-2.6.2.1-r1) 2021-12-27T00:16:58Z AndreasAbel 599da7fc1a5f660cb32b066fd24585c5486da216e53c61f7848bd4fa069083d8

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

    >=1.2.3.0 && <1.3
    to 
    >=1.2.3.0 && <2.1
-r0 (Agda-2.6.2.1-r0) 2021-12-08T06:39:22Z AndreasAbel dc2aa691f6bf322616ede1d72f1c419ca724fd1287d7e77646b555363497ffcd