AUR (en) - vscoq-language-server-git

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Git Clone URL:	https://aur.archlinux.org/vscoq-language-server-git.git (read-only, click to copy)
Package Base:	vscoq-language-server-git
Description:	VSCode coq / rocq language server.
Upstream URL:	https://github.com/rocq-prover/vsrocq
Keywords:	coq rocq vscoq vscoq-language-server vscoqtop
Licenses:	MIT
Submitter:	mJolimaitre
Maintainer:	mJolimaitre
Last Packager:	mJolimaitre
Votes:	0
Popularity:	0.000000
First Submitted:	2024-10-22 13:41 (UTC)
Last Updated:	2025-12-14 20:46 (UTC)