Gentoo Portage Overlays - dev-util/coq-lsp

dev-util/coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

Screenshots

https://github.com/ejgallego/coq-lsp

coq-lsp-0.1.9

~amd64

ocamlopt test

View

Download

Browse License: LGPL-2.1

Overlay: guru

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

ChangeLog

commit 07b42b34909b56e2f70569c4e9e62a69dae9c39d
Author: Hiroki Tokunaga <tokusan441@gmail.com>
Date: Mon Jul 22 18:24:31 2024 +0900

dev-util/coq-lsp: Use `*` to specify the deps version

Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>

commit 878c7516f5dab76f7aff52d2699219720944c887
Author: Hiroki Tokunaga <tokusan441@gmail.com>
Date: Tue Jul 16 12:11:05 2024 +0900

dev-util/coq-lsp: new package, add 0.1.9

Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>