Hackage :: [Package]

Metadata revisions for agda-language-server-0.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
-r1 (agda-language-server-0.2.1-r1) 2023-11-20T07:25:41Z AndreasAbel 3ff5bf0e61f1424797ec66115d2be5db502f05b3e8a4530338402833f61a357e

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

    <2
    to 
    <1.4

  • Changed the executable 'als' component's library dependency on 'lsp' from 

    <2
    to 
    >=0

  • Changed the test suite 'als-test' component's library dependency on 'lsp' from 

    <2
    to 
    <1.4
-r0 (agda-language-server-0.2.1-r0) 2021-10-25T06:27:44Z banacorn ea651b19ea29455c1ecd2359764fb9c83cd9e04094cf4d94241ae4e650672815