name: agda-language-server
description: Please see the README on GitHub at https://github.com/agda/agda-language-server#readme
license_spdx: MIT
version: 0.0.3.0
spec_version: 1.0
download_url: http://hackage.haskell.org/package/agda-language-server-0.0.3.0/agda-language-server-0.0.3.0.tar.gz
home_url: 
                https://github.com/banacorn/agda-language-server#readme
              
news_url: https://libraries.io/hackage/agda-language-server/versions.atom
date: 2021-04-06
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/agda-language-server?number=0.0.3.0
vcs_tool: git
vcs_repository: https://github.com/agda/agda-language-server
vcs_branch: master
