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

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

dev-util/coq-lsp/Manifest

@@ -0,0 +1 @@
+DIST coq-lsp-0.1.9.tar.gz 25388271 BLAKE2B 8f1e49bdadfd792b96fda835b906e3b0d72f29eedaa3d4ef3825b1e92de03de2ec451c355adbc5d73a795173119761392cbfba8e9caf3d0de1035b2b3ddce942 SHA512 d452ae4598204abe8366fb72478e1d554e2a8de03a3ecc471392355a63c4992f41d891ef33cb913b52adba098d470121122d9fae85456eb8ce81204278ae5e18

dev-util/coq-lsp/coq-lsp-0.1.9.ebuild

@@ -0,0 +1,48 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+COQ_MIN_V=8.19
+COQ_MAX_V=8.20
+
+DESCRIPTION="Visual Studio Code Extension and Language Server Protocol for Coq"
+HOMEPAGE="https://github.com/ejgallego/coq-lsp"
+SRC_URI="https://github.com/ejgallego/coq-lsp/archive/${PV}+${COQ_MIN_V}.tar.gz -> ${P}.tar.gz"
+
+S="${WORKDIR}/${P}-${COQ_MIN_V}"
+
+LICENSE="LGPL-2.1"
+
+SLOT="0"
+
+KEYWORDS="~amd64"
+IUSE="ocamlopt test"
+
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+	>=sci-mathematics/coq-${COQ_MIN_V}.0:= <sci-mathematics/coq-${COQ_MAX_V}.0:=
+	sci-mathematics/coq-serapi:=
+
+	dev-ml/cmdliner:=
+	dev-ml/yojson:=
+	dev-ml/uri:=
+	dev-ml/dune-build-info:=
+
+	dev-ml/menhir:=
+
+	dev-ml/ppx_inline_test:=
+"
+
+DEPEND="
+	${RDEPEND}
+"
+
+BEPEND="
+	test? (
+		dev-ml/alcotest:=
+	)
+"

dev-util/coq-lsp/metadata.xml

@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="person">
+		<email>tokusan441@gmail.com</email>
+		<name>Hiroki Tokunaga</name>
+	</maintainer>
+	<upstream>
+		<bugs-to>https://github.com/ejgallego/coq-lsp/issues</bugs-to>
+		<remote-id type="github">ejgallego/coq-lsp</remote-id>
+	</upstream>
+</pkgmetadata>