Hackage :: [Package]

Metadata revisions for Agda-2.6.4.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
-r3 (Agda-2.6.4.1-r3) 2024-02-17T19:09:43Z AndreasAbel 7ea9efb196d97d9c569633ce1d82fd4a050c79e288041fd1e6caf8a9a97175e2

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

    >=2.6.1.0 && <2.14
    to 
    >=2.6.1.0 && <2.15
-r2 (Agda-2.6.4.1-r2) 2024-02-08T06:55:53Z AndreasAbel f3c915da9c9bb892c5ac75ff89375b56a981cd7c5fbc9eb0714ecb900617d494

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

    >=0.6 && <0.7
    to 
    >=0.6 && <0.8
-r1 (Agda-2.6.4.1-r1) 2024-02-07T10:34:50Z AndreasAbel b10ef1ab60a4ddf8d9ebfb900b42cb8318fc5080a21ce01aa2e5149b63de5f49

  • Changed the library component's library dependency on 'ansi-terminal' from 

    >=0.9 && <1.1
    to 
    >=0.9 && <1.2
-r0 (Agda-2.6.4.1-r0) 2023-11-30T18:10:43Z AndreasAbel be9841a3c57ea85b4931a14a692593f3283b7ae9712d0b612c161020fa221b48