Package Details: idris2-lsp-lib-git latest-1

Git Clone URL: https://aur.archlinux.org/idris2-lsp-lib-git.git (read-only, click to copy)
Package Base: idris2-lsp-lib-git
Description: LSP Library for Idris2
Upstream URL: https://github.com/idris-community/LSP-lib
Licenses: custom:BSD
Conflicts: idris2-lsp-lib
Provides: idris2-lsp-lib
Submitter: MithicSpirit
Maintainer: MithicSpirit
Last Packager: MithicSpirit
Votes: 1
Popularity: 0.003016
First Submitted: 2024-03-01 18:59 (UTC)
Last Updated: 2024-03-01 18:59 (UTC)

Dependencies (2)

Required by (1)

Sources (1)