Search Criteria
Package Details: lean-language-server 3.4.0-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/lean-language-server.git (read-only, click to copy) |
|---|---|
| Package Base: | lean-language-server |
| Description: | Language Server Protocol implementation for the Lean theorem prover, version 3 |
| Upstream URL: | https://github.com/leanprover/lean-client-js |
| Licenses: | MIT |
| Submitter: | ouuan |
| Maintainer: | None |
| Last Packager: | ouuan |
| Votes: | 3 |
| Popularity: | 0.000000 |
| First Submitted: | 2021-09-11 10:36 (UTC) |
| Last Updated: | 2022-07-18 04:49 (UTC) |
Dependencies (2)
- nodejs (nodejs-gitAUR, python-nodejs-wheelAUR, nodejs-lts-hydrogenAUR, nodejs-lts-iron, nodejs-lts-jod, nodejs-lts-krypton)
- npm (python-nodejs-wheelAUR, corepackerAUR, npm-corepackAUR) (make)
Latest Comments
ouuan commented on 2023-06-20 16:03 (UTC)
Please note that only the
lean-client-js-browserpackage but not thelean-language-serverpackage has been updated to v3.5.1.