Hackage :: [Package]

Metadata revisions for Agda-2.6.4

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
-r1 (Agda-2.6.4-r1) 2023-10-10T08:26:40Z AndreasAbel 298bc3b261ad034bf4ee788834a4d296aa5c2f6ea17ac4bef44e3daea53a7cd8

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

    >=0.2.0.0 && <0.2.4
    to 
    >=0.2.0.0 && <0.3
-r0 (Agda-2.6.4-r0) 2023-10-06T12:20:20Z AndreasAbel 9d3b96a20eb1c8c3b176cb3292f19417e22fb047a8d49239274d48e445ea9c2e