Search Criteria
Package Details: idris2-lsp-git latest-3
Package Actions
Git Clone URL: | https://aur.archlinux.org/idris2-lsp-git.git (read-only, click to copy) |
---|---|
Package Base: | idris2-lsp-git |
Description: | Language Server for Idris2 |
Upstream URL: | https://github.com/idris-community/idris2-lsp |
Licenses: | custom:BSD |
Conflicts: | idris2-lsp |
Provides: | idris2-lsp |
Submitter: | MrcJkb |
Maintainer: | MithicSpirit |
Last Packager: | MithicSpirit |
Votes: | 1 |
Popularity: | 0.000014 |
First Submitted: | 2022-01-05 21:20 (UTC) |
Last Updated: | 2024-03-10 03:13 (UTC) |
Dependencies (4)
- idris2AUR (idris2-gitAUR)
- sh (dashbinshAUR, bash-devel-static-gitAUR, zshbinshAUR, bash-devel-gitAUR, busybox-coreutilsAUR, bash-gitAUR, bash)
- git (git-gitAUR, git-glAUR) (make)
- idris2-lsp-lib-gitAUR (make)
Latest Comments
MrcJkb commented on 2023-06-05 15:57 (UTC)
@totycro sorry for the late reply.
There is a 0.6.0 version of idris-2-lsp, but unfortunately, I no longer use Arch and cannot test an upgrade.
I'd be more than happy to accept a patch to the PKGBUILD, or to add another maintainer to this package.
totycro commented on 2023-05-18 10:02 (UTC)
I currently get this when trying to install:
I've this version of idris2 installed, also from AUR: version 0.6.0-9a2ad66b7 . Does this package require idris2 in version 0.5?
MrcJkb commented on 2022-01-23 20:34 (UTC)
Thanks for the patch @phijor!
phijor commented on 2022-01-19 14:21 (UTC)
Thank you for packaging the Idris language server!
There seems to be an issue where running
makepkg --repackage
will compile the project from scratch instead of using the already existing artifacts. Would you mind including this patch that fixes it?