From 878c7516f5dab76f7aff52d2699219720944c887 Mon Sep 17 00:00:00 2001
From: Hiroki Tokunaga <tokusan441@gmail.com>
Date: Tue, 16 Jul 2024 12:11:05 +0900
Subject: [PATCH] dev-util/coq-lsp: new package, add 0.1.9

Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
---
 dev-util/coq-lsp/Manifest             |  1 +
 dev-util/coq-lsp/coq-lsp-0.1.9.ebuild | 48 +++++++++++++++++++++++++++
 dev-util/coq-lsp/metadata.xml         | 12 +++++++
 3 files changed, 61 insertions(+)
 create mode 100644 dev-util/coq-lsp/Manifest
 create mode 100644 dev-util/coq-lsp/coq-lsp-0.1.9.ebuild
 create mode 100644 dev-util/coq-lsp/metadata.xml

diff --git a/dev-util/coq-lsp/Manifest b/dev-util/coq-lsp/Manifest
new file mode 100644
index 0000000000..e51544e362
--- /dev/null
+++ b/dev-util/coq-lsp/Manifest
@@ -0,0 +1 @@
+DIST coq-lsp-0.1.9.tar.gz 25388271 BLAKE2B 8f1e49bdadfd792b96fda835b906e3b0d72f29eedaa3d4ef3825b1e92de03de2ec451c355adbc5d73a795173119761392cbfba8e9caf3d0de1035b2b3ddce942 SHA512 d452ae4598204abe8366fb72478e1d554e2a8de03a3ecc471392355a63c4992f41d891ef33cb913b52adba098d470121122d9fae85456eb8ce81204278ae5e18
diff --git a/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild b/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild
new file mode 100644
index 0000000000..91ed692404
--- /dev/null
+++ b/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:=
+	)
+"
diff --git a/dev-util/coq-lsp/metadata.xml b/dev-util/coq-lsp/metadata.xml
new file mode 100644
index 0000000000..be94296980
--- /dev/null
+++ b/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>