Hackage :: [Package]

Metadata revisions for Agda-2.8.0

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.8.0-r1) 2025-10-12T19:11:27Z AndreasAbel ad09054bdc743e8e50b69d4366f945d6b376aadab05920f008b00efb102cceb6

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

    >=1.4.1.3 && <1.6
    to 
    >=1.4.1.3 && <1.7
-r0 (Agda-2.8.0-r0) 2025-07-05T20:33:25Z AndreasAbel f85f3b10eb034687b07d073686ab97c947082eecc5ad268cbe20a4c774abcaae