Hackage :: [Package]

Metadata revisions for Agda-2.8.0.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
-r1 2026-10-11T18:16:45Z AndreasAbel b09e6dca2cee09dfa4a0516df4c96410393711d11059226588a4e9dbc8c15cfd

  • Changed the library component's library dependency on 'nonempty-containers' from 

    >=0.3.4.1 && <0.4
    to 
    >=0.3.4.1 && <0.5
-r0 2026-09-13T07:57:35Z AndreasAbel 73bbecbad92b35f5af79f09402f13a7ba4d12177d9c6eadd1f09c77e10876da6