[gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/

2025-04-20 Thread Maciej Barć 
commit: d2be87f4ef93892d1a12fc8a75fc5a7987f770dd
Author: Maciej Barć  gentoo  org>
AuthorDate: Sun Apr 20 16:00:55 2025 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sun Apr 20 16:55:31 2025 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d2be87f4

dev-lang/elpi: pin dev-ml/atd to <2.16.0

Closes: https://bugs.gentoo.org/954112
Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/elpi/{elpi-1.19.6.ebuild => elpi-1.19.6-r1.ebuild} | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-lang/elpi/elpi-1.19.6.ebuild 
b/dev-lang/elpi/elpi-1.19.6-r1.ebuild
similarity index 93%
rename from dev-lang/elpi/elpi-1.19.6.ebuild
rename to dev-lang/elpi/elpi-1.19.6-r1.ebuild
index 7721a9d3b009..7b1467f777b8 100644
--- a/dev-lang/elpi/elpi-1.19.6.ebuild
+++ b/dev-lang/elpi/elpi-1.19.6-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2024 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -23,9 +23,9 @@ IUSE="+ocamlopt test"
 RESTRICT="!test? ( test )"
 
 RDEPEND="
+   =dev-lang/ocaml-4.08.0:=
>=dev-ml/menhir-20211230:=
-   dev-ml/atd:=
dev-ml/ppx_deriving:=
dev-ml/ppxlib:=
dev-ml/re:=

[gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/

2025-04-20 Thread Maciej Barć 
commit: 611dd5b4287f118bed2cdf11d3b57cdb5b19b628
Author: Maciej Barć  gentoo  org>
AuthorDate: Sun Apr 20 16:14:09 2025 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sun Apr 20 16:55:31 2025 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=611dd5b4

dev-lang/elpi: bump to 2.0.7

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/elpi/Manifest  |  1 +
 dev-lang/elpi/elpi-2.0.7.ebuild | 47 +
 2 files changed, 48 insertions(+)

diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest
index 96ddc5958b5a..4849c656cdd1 100644
--- a/dev-lang/elpi/Manifest
+++ b/dev-lang/elpi/Manifest
@@ -1 +1,2 @@
 DIST elpi-1.19.6.tar.gz 2645680 BLAKE2B 
6dfeeff7d5a5a00a4f663acf2c696a30035ea997d775542b9fd49b08b417877217f7eb4ca6dd1a89b1b959b5c4be982cd9488b7ee0774d3de6749148de04f037
 SHA512 
3371b50d8bcce0d9bc49fcb5f4a27f6317644b748495f2d58a8e7bacf0ff4dd1e506a4f6c0cfefb04e6ff82ad71fd73e4c55185246225c708ab368190457b05c
+DIST elpi-2.0.7.tar.gz 2642553 BLAKE2B 
958036c8fbd29d1a6e2fff71dd749b45c4fb21ce1bb390397da46357130b0189fe0f6f8e1fbbe8f80ae3d1da7489e6fe0a2459d7b3a46162908ea933e743829a
 SHA512 
0f4352899a123dc67ab8529e471faa8f52407460d78a02de7d2cfb8798b816789918f2b64682771b5233d7895655b73623e2b078486b35d43243157f9cf8d628

diff --git a/dev-lang/elpi/elpi-2.0.7.ebuild b/dev-lang/elpi/elpi-2.0.7.ebuild
new file mode 100644
index ..7b1467f777b8
--- /dev/null
+++ b/dev-lang/elpi/elpi-2.0.7.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
+HOMEPAGE="https://github.com/LPCIC/elpi/";
+
+if [[ ${PV} == ** ]] ; then
+   inherit git-r3
+   EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git";
+else
+   SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
+   -> ${P}.tar.gz"
+   KEYWORDS="~amd64"
+fi
+
+LICENSE="LGPL-2.1+"
+SLOT="0/${PV}"
+IUSE="+ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   =dev-lang/ocaml-4.08.0:=
+   >=dev-ml/menhir-20211230:=
+   dev-ml/ppx_deriving:=
+   dev-ml/ppxlib:=
+   dev-ml/re:=
+   dev-ml/stdlib-shims:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+   test? (
+   dev-ml/ANSITerminal
+   dev-ml/cmdliner
+   )
+"
+
+DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
+
+src_install() {
+   dune_src_install
+   einstalldocs
+}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/

2024-12-27 Thread Maciej Barć 
commit: 1fb5cf04a9172f5dbe2e6cf1955ca751287b4a78
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Dec 27 14:59:47 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Dec 27 18:51:50 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1fb5cf04

dev-lang/elpi: drop old 1.18.2

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/elpi/Manifest   |  1 -
 dev-lang/elpi/elpi-1.18.2.ebuild | 47 
 2 files changed, 48 deletions(-)

diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest
index 7011f4c2f074..96ddc5958b5a 100644
--- a/dev-lang/elpi/Manifest
+++ b/dev-lang/elpi/Manifest
@@ -1,2 +1 @@
-DIST elpi-1.18.2.tar.gz 2630264 BLAKE2B 
9921cfb71755f46f29ec8934c5f3e3ea7d57807854c2402660ffebaeb6ce8f64416ceda4e2eaefa91d5b46cf7d9e8caeaadd75b0eddc5c35b234a228dfdf9bcb
 SHA512 
096865d2b777d36ab8c0a63613f268491cb5b4e3a1c8a2adc11b63a3d39d04be5ddc198f0379090da8e3e0b6e7997bad6453d4b48f9f2e5d7d7d4f852af45a41
 DIST elpi-1.19.6.tar.gz 2645680 BLAKE2B 
6dfeeff7d5a5a00a4f663acf2c696a30035ea997d775542b9fd49b08b417877217f7eb4ca6dd1a89b1b959b5c4be982cd9488b7ee0774d3de6749148de04f037
 SHA512 
3371b50d8bcce0d9bc49fcb5f4a27f6317644b748495f2d58a8e7bacf0ff4dd1e506a4f6c0cfefb04e6ff82ad71fd73e4c55185246225c708ab368190457b05c

diff --git a/dev-lang/elpi/elpi-1.18.2.ebuild b/dev-lang/elpi/elpi-1.18.2.ebuild
deleted file mode 100644
index 7721a9d3b009..
--- a/dev-lang/elpi/elpi-1.18.2.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
-HOMEPAGE="https://github.com/LPCIC/elpi/";
-
-if [[ ${PV} == ** ]] ; then
-   inherit git-r3
-   EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git";
-else
-   SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
-   -> ${P}.tar.gz"
-   KEYWORDS="~amd64"
-fi
-
-LICENSE="LGPL-2.1+"
-SLOT="0/${PV}"
-IUSE="+ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-   >=dev-lang/ocaml-4.08.0:=
-   >=dev-ml/menhir-20211230:=
-   dev-ml/atd:=
-   dev-ml/ppx_deriving:=
-   dev-ml/ppxlib:=
-   dev-ml/re:=
-   dev-ml/stdlib-shims:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
-   test? (
-   dev-ml/ANSITerminal
-   dev-ml/cmdliner
-   )
-"
-
-DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
-
-src_install() {
-   dune_src_install
-   einstalldocs
-}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/

2024-11-26 Thread Alfredo Tupone 
commit: 33dade2d295a7cf6b4570187e189226234c5ad96
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Tue Nov 26 20:45:51 2024 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Tue Nov 26 20:45:51 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=33dade2d

dev-lang/elpi: add 1.19.6

Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-lang/elpi/Manifest   |  1 +
 dev-lang/elpi/elpi-1.19.6.ebuild | 47 
 2 files changed, 48 insertions(+)

diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest
index b7517bde9ce7..7011f4c2f074 100644
--- a/dev-lang/elpi/Manifest
+++ b/dev-lang/elpi/Manifest
@@ -1 +1,2 @@
 DIST elpi-1.18.2.tar.gz 2630264 BLAKE2B 
9921cfb71755f46f29ec8934c5f3e3ea7d57807854c2402660ffebaeb6ce8f64416ceda4e2eaefa91d5b46cf7d9e8caeaadd75b0eddc5c35b234a228dfdf9bcb
 SHA512 
096865d2b777d36ab8c0a63613f268491cb5b4e3a1c8a2adc11b63a3d39d04be5ddc198f0379090da8e3e0b6e7997bad6453d4b48f9f2e5d7d7d4f852af45a41
+DIST elpi-1.19.6.tar.gz 2645680 BLAKE2B 
6dfeeff7d5a5a00a4f663acf2c696a30035ea997d775542b9fd49b08b417877217f7eb4ca6dd1a89b1b959b5c4be982cd9488b7ee0774d3de6749148de04f037
 SHA512 
3371b50d8bcce0d9bc49fcb5f4a27f6317644b748495f2d58a8e7bacf0ff4dd1e506a4f6c0cfefb04e6ff82ad71fd73e4c55185246225c708ab368190457b05c

diff --git a/dev-lang/elpi/elpi-1.19.6.ebuild b/dev-lang/elpi/elpi-1.19.6.ebuild
new file mode 100644
index ..7721a9d3b009
--- /dev/null
+++ b/dev-lang/elpi/elpi-1.19.6.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
+HOMEPAGE="https://github.com/LPCIC/elpi/";
+
+if [[ ${PV} == ** ]] ; then
+   inherit git-r3
+   EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git";
+else
+   SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
+   -> ${P}.tar.gz"
+   KEYWORDS="~amd64"
+fi
+
+LICENSE="LGPL-2.1+"
+SLOT="0/${PV}"
+IUSE="+ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=dev-lang/ocaml-4.08.0:=
+   >=dev-ml/menhir-20211230:=
+   dev-ml/atd:=
+   dev-ml/ppx_deriving:=
+   dev-ml/ppxlib:=
+   dev-ml/re:=
+   dev-ml/stdlib-shims:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+   test? (
+   dev-ml/ANSITerminal
+   dev-ml/cmdliner
+   )
+"
+
+DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
+
+src_install() {
+   dune_src_install
+   einstalldocs
+}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/

2024-11-23 Thread Maciej Barć 
commit: 83959de86220a9e4c276bccaa2e701a248cc30f6
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Nov 23 21:24:58 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Nov 23 21:26:55 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=83959de8

dev-lang/elpi: drop old 1.17.4

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/elpi/Manifest   |  1 -
 dev-lang/elpi/elpi-1.17.4.ebuild | 47 
 2 files changed, 48 deletions(-)

diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest
index ba9daec0c496..b7517bde9ce7 100644
--- a/dev-lang/elpi/Manifest
+++ b/dev-lang/elpi/Manifest
@@ -1,2 +1 @@
-DIST elpi-1.17.4.tar.gz 2609080 BLAKE2B 
5280f0eed17b80abb1ce68613beb57bd9aba900c821b71d5f184f98c0042b69fa016426f35e531a106ae6597bbb11237b56bd38dcf08ed56cbca624f2afbdbe6
 SHA512 
0a4a85c967d4016c3cf4b6613e561b45b935aef3cec68fd4e3764cd7f64420cf41ce0562804b1647fef9ed2d564da737fabd9a3e42e2b9e70071be6f64a3a611
 DIST elpi-1.18.2.tar.gz 2630264 BLAKE2B 
9921cfb71755f46f29ec8934c5f3e3ea7d57807854c2402660ffebaeb6ce8f64416ceda4e2eaefa91d5b46cf7d9e8caeaadd75b0eddc5c35b234a228dfdf9bcb
 SHA512 
096865d2b777d36ab8c0a63613f268491cb5b4e3a1c8a2adc11b63a3d39d04be5ddc198f0379090da8e3e0b6e7997bad6453d4b48f9f2e5d7d7d4f852af45a41

diff --git a/dev-lang/elpi/elpi-1.17.4.ebuild b/dev-lang/elpi/elpi-1.17.4.ebuild
deleted file mode 100644
index 184849b51e67..
--- a/dev-lang/elpi/elpi-1.17.4.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
-HOMEPAGE="https://github.com/LPCIC/elpi/";
-
-if [[ ${PV} == ** ]] ; then
-   inherit git-r3
-   EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git";
-else
-   SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
-   -> ${P}.tar.gz"
-   KEYWORDS="~amd64"
-fi
-
-LICENSE="LGPL-2.1+"
-SLOT="0/${PV}"
-IUSE="+ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-   >=dev-lang/ocaml-4.08.0:=
-   >=dev-ml/menhir-20211230:=
-   dev-ml/atd:=
-   dev-ml/ppx_deriving:=
-   dev-ml/ppxlib:=
-   dev-ml/re:=
-   dev-ml/stdlib-shims:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
-   test? (
-   dev-ml/ANSITerminal
-   dev-ml/cmdliner
-   )
-"
-
-DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
-
-src_install() {
-   dune_src_install
-   einstalldocs
-}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/

2024-05-26 Thread Maciej Barć 
commit: 2afd5596a016a510d06a0ba5f37f3698a9f9852a
Author: Maciej Barć  gentoo  org>
AuthorDate: Sun May 26 21:16:41 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sun May 26 21:36:16 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2afd5596

dev-lang/elpi: bump to 1.18.2

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/elpi/Manifest   |  1 +
 dev-lang/elpi/elpi-1.18.2.ebuild | 47 
 2 files changed, 48 insertions(+)

diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest
index 2ef9e7689523..ba9daec0c496 100644
--- a/dev-lang/elpi/Manifest
+++ b/dev-lang/elpi/Manifest
@@ -1 +1,2 @@
 DIST elpi-1.17.4.tar.gz 2609080 BLAKE2B 
5280f0eed17b80abb1ce68613beb57bd9aba900c821b71d5f184f98c0042b69fa016426f35e531a106ae6597bbb11237b56bd38dcf08ed56cbca624f2afbdbe6
 SHA512 
0a4a85c967d4016c3cf4b6613e561b45b935aef3cec68fd4e3764cd7f64420cf41ce0562804b1647fef9ed2d564da737fabd9a3e42e2b9e70071be6f64a3a611
+DIST elpi-1.18.2.tar.gz 2630264 BLAKE2B 
9921cfb71755f46f29ec8934c5f3e3ea7d57807854c2402660ffebaeb6ce8f64416ceda4e2eaefa91d5b46cf7d9e8caeaadd75b0eddc5c35b234a228dfdf9bcb
 SHA512 
096865d2b777d36ab8c0a63613f268491cb5b4e3a1c8a2adc11b63a3d39d04be5ddc198f0379090da8e3e0b6e7997bad6453d4b48f9f2e5d7d7d4f852af45a41

diff --git a/dev-lang/elpi/elpi-1.18.2.ebuild b/dev-lang/elpi/elpi-1.18.2.ebuild
new file mode 100644
index ..7721a9d3b009
--- /dev/null
+++ b/dev-lang/elpi/elpi-1.18.2.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
+HOMEPAGE="https://github.com/LPCIC/elpi/";
+
+if [[ ${PV} == ** ]] ; then
+   inherit git-r3
+   EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git";
+else
+   SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
+   -> ${P}.tar.gz"
+   KEYWORDS="~amd64"
+fi
+
+LICENSE="LGPL-2.1+"
+SLOT="0/${PV}"
+IUSE="+ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=dev-lang/ocaml-4.08.0:=
+   >=dev-ml/menhir-20211230:=
+   dev-ml/atd:=
+   dev-ml/ppx_deriving:=
+   dev-ml/ppxlib:=
+   dev-ml/re:=
+   dev-ml/stdlib-shims:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+   test? (
+   dev-ml/ANSITerminal
+   dev-ml/cmdliner
+   )
+"
+
+DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
+
+src_install() {
+   dune_src_install
+   einstalldocs
+}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/

2024-05-26 Thread Maciej Barć 
commit: 0fba7546facde53cff4eee4287984c6337d89c4f
Author: Maciej Barć  gentoo  org>
AuthorDate: Sun May 26 21:06:55 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sun May 26 21:36:16 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0fba7546

dev-lang/elpi: drop old 1.17.0

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/elpi/Manifest   |  1 -
 dev-lang/elpi/elpi-1.17.0.ebuild | 47 
 2 files changed, 48 deletions(-)

diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest
index 6022c7d0f219..2ef9e7689523 100644
--- a/dev-lang/elpi/Manifest
+++ b/dev-lang/elpi/Manifest
@@ -1,2 +1 @@
-DIST elpi-1.17.0.tar.gz 2607106 BLAKE2B 
7e6a2f1305ec69f93f7519bb8ced9e2b3d38106cf71a1506941f0c50e3af4959838fe01a092ddaad49f41de59aac34ff45c972099f1797d86ec2b446475c9391
 SHA512 
6539593bd4a4ff516f023601d4dbe10cf4c99d2fd99e5b6ed89da0a8d63f8c79fac0c667b11ca77e0ae618ec036c27a7adcefbd19fc26e6d11672b90f412654b
 DIST elpi-1.17.4.tar.gz 2609080 BLAKE2B 
5280f0eed17b80abb1ce68613beb57bd9aba900c821b71d5f184f98c0042b69fa016426f35e531a106ae6597bbb11237b56bd38dcf08ed56cbca624f2afbdbe6
 SHA512 
0a4a85c967d4016c3cf4b6613e561b45b935aef3cec68fd4e3764cd7f64420cf41ce0562804b1647fef9ed2d564da737fabd9a3e42e2b9e70071be6f64a3a611

diff --git a/dev-lang/elpi/elpi-1.17.0.ebuild b/dev-lang/elpi/elpi-1.17.0.ebuild
deleted file mode 100644
index 184849b51e67..
--- a/dev-lang/elpi/elpi-1.17.0.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
-HOMEPAGE="https://github.com/LPCIC/elpi/";
-
-if [[ ${PV} == ** ]] ; then
-   inherit git-r3
-   EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git";
-else
-   SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
-   -> ${P}.tar.gz"
-   KEYWORDS="~amd64"
-fi
-
-LICENSE="LGPL-2.1+"
-SLOT="0/${PV}"
-IUSE="+ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-   >=dev-lang/ocaml-4.08.0:=
-   >=dev-ml/menhir-20211230:=
-   dev-ml/atd:=
-   dev-ml/ppx_deriving:=
-   dev-ml/ppxlib:=
-   dev-ml/re:=
-   dev-ml/stdlib-shims:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
-   test? (
-   dev-ml/ANSITerminal
-   dev-ml/cmdliner
-   )
-"
-
-DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
-
-src_install() {
-   dune_src_install
-   einstalldocs
-}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/

2023-12-26 Thread Maciej Barć 
commit: 92f9f81f2ac796ecd6d1e852df7a7e36967dc679
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Dec 26 21:29:21 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Dec 27 01:20:41 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=92f9f81f

dev-lang/elpi: bump to 1.17.4

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/elpi/Manifest   |  1 +
 dev-lang/elpi/elpi-1.17.4.ebuild | 47 
 2 files changed, 48 insertions(+)

diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest
index feae1ca1958f..6022c7d0f219 100644
--- a/dev-lang/elpi/Manifest
+++ b/dev-lang/elpi/Manifest
@@ -1 +1,2 @@
 DIST elpi-1.17.0.tar.gz 2607106 BLAKE2B 
7e6a2f1305ec69f93f7519bb8ced9e2b3d38106cf71a1506941f0c50e3af4959838fe01a092ddaad49f41de59aac34ff45c972099f1797d86ec2b446475c9391
 SHA512 
6539593bd4a4ff516f023601d4dbe10cf4c99d2fd99e5b6ed89da0a8d63f8c79fac0c667b11ca77e0ae618ec036c27a7adcefbd19fc26e6d11672b90f412654b
+DIST elpi-1.17.4.tar.gz 2609080 BLAKE2B 
5280f0eed17b80abb1ce68613beb57bd9aba900c821b71d5f184f98c0042b69fa016426f35e531a106ae6597bbb11237b56bd38dcf08ed56cbca624f2afbdbe6
 SHA512 
0a4a85c967d4016c3cf4b6613e561b45b935aef3cec68fd4e3764cd7f64420cf41ce0562804b1647fef9ed2d564da737fabd9a3e42e2b9e70071be6f64a3a611

diff --git a/dev-lang/elpi/elpi-1.17.4.ebuild b/dev-lang/elpi/elpi-1.17.4.ebuild
new file mode 100644
index ..184849b51e67
--- /dev/null
+++ b/dev-lang/elpi/elpi-1.17.4.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
+HOMEPAGE="https://github.com/LPCIC/elpi/";
+
+if [[ ${PV} == ** ]] ; then
+   inherit git-r3
+   EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git";
+else
+   SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
+   -> ${P}.tar.gz"
+   KEYWORDS="~amd64"
+fi
+
+LICENSE="LGPL-2.1+"
+SLOT="0/${PV}"
+IUSE="+ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=dev-lang/ocaml-4.08.0:=
+   >=dev-ml/menhir-20211230:=
+   dev-ml/atd:=
+   dev-ml/ppx_deriving:=
+   dev-ml/ppxlib:=
+   dev-ml/re:=
+   dev-ml/stdlib-shims:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+   test? (
+   dev-ml/ANSITerminal
+   dev-ml/cmdliner
+   )
+"
+
+DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
+
+src_install() {
+   dune_src_install
+   einstalldocs
+}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/

2023-12-26 Thread Maciej Barć 
commit: 0ff5d2db1b6a478aff9a9d98f439d7b0344ef38f
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Dec 26 21:27:29 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Dec 27 01:20:40 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0ff5d2db

dev-lang/elpi: drop old 1.16.10

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/elpi/Manifest|  1 -
 dev-lang/elpi/elpi-1.16.10.ebuild | 47 ---
 2 files changed, 48 deletions(-)

diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest
index 866d860e78ba..feae1ca1958f 100644
--- a/dev-lang/elpi/Manifest
+++ b/dev-lang/elpi/Manifest
@@ -1,2 +1 @@
-DIST elpi-1.16.10.tar.gz 2606110 BLAKE2B 
f9d36c5b6ef9db0bcdca18ac163fd863a2c065d763fd070ab44617894c23b4717d430ae2792224e2c4b0bc639bf6f044fee44c5f763c7552d2f234b4f53113a4
 SHA512 
6e7fc2ac06e8df0fd1db42467909d77e7b61de386cb6c31ae5c278f316efea646d0e0ba1bfd4a98e65268a4c3ec78ea93c616d8855fe6359637401d83bd5fc0f
 DIST elpi-1.17.0.tar.gz 2607106 BLAKE2B 
7e6a2f1305ec69f93f7519bb8ced9e2b3d38106cf71a1506941f0c50e3af4959838fe01a092ddaad49f41de59aac34ff45c972099f1797d86ec2b446475c9391
 SHA512 
6539593bd4a4ff516f023601d4dbe10cf4c99d2fd99e5b6ed89da0a8d63f8c79fac0c667b11ca77e0ae618ec036c27a7adcefbd19fc26e6d11672b90f412654b

diff --git a/dev-lang/elpi/elpi-1.16.10.ebuild 
b/dev-lang/elpi/elpi-1.16.10.ebuild
deleted file mode 100644
index 184849b51e67..
--- a/dev-lang/elpi/elpi-1.16.10.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
-HOMEPAGE="https://github.com/LPCIC/elpi/";
-
-if [[ ${PV} == ** ]] ; then
-   inherit git-r3
-   EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git";
-else
-   SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
-   -> ${P}.tar.gz"
-   KEYWORDS="~amd64"
-fi
-
-LICENSE="LGPL-2.1+"
-SLOT="0/${PV}"
-IUSE="+ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-   >=dev-lang/ocaml-4.08.0:=
-   >=dev-ml/menhir-20211230:=
-   dev-ml/atd:=
-   dev-ml/ppx_deriving:=
-   dev-ml/ppxlib:=
-   dev-ml/re:=
-   dev-ml/stdlib-shims:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
-   test? (
-   dev-ml/ANSITerminal
-   dev-ml/cmdliner
-   )
-"
-
-DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
-
-src_install() {
-   dune_src_install
-   einstalldocs
-}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/

2023-12-26 Thread Maciej Barć 
commit: c9dff5f744c61205679054a67a5c0846283f00ae
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Dec 26 21:27:18 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Dec 27 01:20:40 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c9dff5f7

dev-lang/elpi: drop old 1.16.9

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/elpi/Manifest   |  1 -
 dev-lang/elpi/elpi-1.16.9.ebuild | 47 
 2 files changed, 48 deletions(-)

diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest
index c97a7827eccd..866d860e78ba 100644
--- a/dev-lang/elpi/Manifest
+++ b/dev-lang/elpi/Manifest
@@ -1,3 +1,2 @@
 DIST elpi-1.16.10.tar.gz 2606110 BLAKE2B 
f9d36c5b6ef9db0bcdca18ac163fd863a2c065d763fd070ab44617894c23b4717d430ae2792224e2c4b0bc639bf6f044fee44c5f763c7552d2f234b4f53113a4
 SHA512 
6e7fc2ac06e8df0fd1db42467909d77e7b61de386cb6c31ae5c278f316efea646d0e0ba1bfd4a98e65268a4c3ec78ea93c616d8855fe6359637401d83bd5fc0f
-DIST elpi-1.16.9.tar.gz 2601448 BLAKE2B 
37dd239cae112e6ec1c913dc9fdba60d829c0bbf61876f9c98b927d5d359ed5376ea1663da7e6c808bd62d61380973de7ae649d4a0dddef172f8d2599cc18c35
 SHA512 
89896c0f5d2e9a8ec6d7ef666a0d11c12b670e6951e277c2d29095b3fcbb5a977416cd1876c4c2d8c14b826782b095d3a453db03bebe3438f0eeacc08c7c87fc
 DIST elpi-1.17.0.tar.gz 2607106 BLAKE2B 
7e6a2f1305ec69f93f7519bb8ced9e2b3d38106cf71a1506941f0c50e3af4959838fe01a092ddaad49f41de59aac34ff45c972099f1797d86ec2b446475c9391
 SHA512 
6539593bd4a4ff516f023601d4dbe10cf4c99d2fd99e5b6ed89da0a8d63f8c79fac0c667b11ca77e0ae618ec036c27a7adcefbd19fc26e6d11672b90f412654b

diff --git a/dev-lang/elpi/elpi-1.16.9.ebuild b/dev-lang/elpi/elpi-1.16.9.ebuild
deleted file mode 100644
index 184849b51e67..
--- a/dev-lang/elpi/elpi-1.16.9.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
-HOMEPAGE="https://github.com/LPCIC/elpi/";
-
-if [[ ${PV} == ** ]] ; then
-   inherit git-r3
-   EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git";
-else
-   SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
-   -> ${P}.tar.gz"
-   KEYWORDS="~amd64"
-fi
-
-LICENSE="LGPL-2.1+"
-SLOT="0/${PV}"
-IUSE="+ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-   >=dev-lang/ocaml-4.08.0:=
-   >=dev-ml/menhir-20211230:=
-   dev-ml/atd:=
-   dev-ml/ppx_deriving:=
-   dev-ml/ppxlib:=
-   dev-ml/re:=
-   dev-ml/stdlib-shims:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
-   test? (
-   dev-ml/ANSITerminal
-   dev-ml/cmdliner
-   )
-"
-
-DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
-
-src_install() {
-   dune_src_install
-   einstalldocs
-}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/

2023-08-05 Thread Maciej Barć 
commit: 7f1592e693de7ce07ab69032d4e0a68d5532918c
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Aug  5 15:38:06 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Aug  5 16:53:01 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7f1592e6

dev-lang/elpi: bump to 1.17.0

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/elpi/Manifest   |  1 +
 dev-lang/elpi/elpi-1.17.0.ebuild | 47 
 2 files changed, 48 insertions(+)

diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest
index 9adfe9320b38..c97a7827eccd 100644
--- a/dev-lang/elpi/Manifest
+++ b/dev-lang/elpi/Manifest
@@ -1,2 +1,3 @@
 DIST elpi-1.16.10.tar.gz 2606110 BLAKE2B 
f9d36c5b6ef9db0bcdca18ac163fd863a2c065d763fd070ab44617894c23b4717d430ae2792224e2c4b0bc639bf6f044fee44c5f763c7552d2f234b4f53113a4
 SHA512 
6e7fc2ac06e8df0fd1db42467909d77e7b61de386cb6c31ae5c278f316efea646d0e0ba1bfd4a98e65268a4c3ec78ea93c616d8855fe6359637401d83bd5fc0f
 DIST elpi-1.16.9.tar.gz 2601448 BLAKE2B 
37dd239cae112e6ec1c913dc9fdba60d829c0bbf61876f9c98b927d5d359ed5376ea1663da7e6c808bd62d61380973de7ae649d4a0dddef172f8d2599cc18c35
 SHA512 
89896c0f5d2e9a8ec6d7ef666a0d11c12b670e6951e277c2d29095b3fcbb5a977416cd1876c4c2d8c14b826782b095d3a453db03bebe3438f0eeacc08c7c87fc
+DIST elpi-1.17.0.tar.gz 2607106 BLAKE2B 
7e6a2f1305ec69f93f7519bb8ced9e2b3d38106cf71a1506941f0c50e3af4959838fe01a092ddaad49f41de59aac34ff45c972099f1797d86ec2b446475c9391
 SHA512 
6539593bd4a4ff516f023601d4dbe10cf4c99d2fd99e5b6ed89da0a8d63f8c79fac0c667b11ca77e0ae618ec036c27a7adcefbd19fc26e6d11672b90f412654b

diff --git a/dev-lang/elpi/elpi-1.17.0.ebuild b/dev-lang/elpi/elpi-1.17.0.ebuild
new file mode 100644
index ..184849b51e67
--- /dev/null
+++ b/dev-lang/elpi/elpi-1.17.0.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
+HOMEPAGE="https://github.com/LPCIC/elpi/";
+
+if [[ ${PV} == ** ]] ; then
+   inherit git-r3
+   EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git";
+else
+   SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
+   -> ${P}.tar.gz"
+   KEYWORDS="~amd64"
+fi
+
+LICENSE="LGPL-2.1+"
+SLOT="0/${PV}"
+IUSE="+ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=dev-lang/ocaml-4.08.0:=
+   >=dev-ml/menhir-20211230:=
+   dev-ml/atd:=
+   dev-ml/ppx_deriving:=
+   dev-ml/ppxlib:=
+   dev-ml/re:=
+   dev-ml/stdlib-shims:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+   test? (
+   dev-ml/ANSITerminal
+   dev-ml/cmdliner
+   )
+"
+
+DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
+
+src_install() {
+   dune_src_install
+   einstalldocs
+}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/

2023-06-27 Thread Maciej Barć 
commit: c3818bf2ed00b27ff800dd816f12d2feef65088a
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Jun 28 00:49:27 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Jun 28 01:12:45 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c3818bf2

dev-lang/elpi: bump to 1.16.10

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/elpi/Manifest|  1 +
 dev-lang/elpi/elpi-1.16.10.ebuild | 47 +++
 2 files changed, 48 insertions(+)

diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest
index 3c296b8fd485..9adfe9320b38 100644
--- a/dev-lang/elpi/Manifest
+++ b/dev-lang/elpi/Manifest
@@ -1 +1,2 @@
+DIST elpi-1.16.10.tar.gz 2606110 BLAKE2B 
f9d36c5b6ef9db0bcdca18ac163fd863a2c065d763fd070ab44617894c23b4717d430ae2792224e2c4b0bc639bf6f044fee44c5f763c7552d2f234b4f53113a4
 SHA512 
6e7fc2ac06e8df0fd1db42467909d77e7b61de386cb6c31ae5c278f316efea646d0e0ba1bfd4a98e65268a4c3ec78ea93c616d8855fe6359637401d83bd5fc0f
 DIST elpi-1.16.9.tar.gz 2601448 BLAKE2B 
37dd239cae112e6ec1c913dc9fdba60d829c0bbf61876f9c98b927d5d359ed5376ea1663da7e6c808bd62d61380973de7ae649d4a0dddef172f8d2599cc18c35
 SHA512 
89896c0f5d2e9a8ec6d7ef666a0d11c12b670e6951e277c2d29095b3fcbb5a977416cd1876c4c2d8c14b826782b095d3a453db03bebe3438f0eeacc08c7c87fc

diff --git a/dev-lang/elpi/elpi-1.16.10.ebuild 
b/dev-lang/elpi/elpi-1.16.10.ebuild
new file mode 100644
index ..184849b51e67
--- /dev/null
+++ b/dev-lang/elpi/elpi-1.16.10.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
+HOMEPAGE="https://github.com/LPCIC/elpi/";
+
+if [[ ${PV} == ** ]] ; then
+   inherit git-r3
+   EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git";
+else
+   SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
+   -> ${P}.tar.gz"
+   KEYWORDS="~amd64"
+fi
+
+LICENSE="LGPL-2.1+"
+SLOT="0/${PV}"
+IUSE="+ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=dev-lang/ocaml-4.08.0:=
+   >=dev-ml/menhir-20211230:=
+   dev-ml/atd:=
+   dev-ml/ppx_deriving:=
+   dev-ml/ppxlib:=
+   dev-ml/re:=
+   dev-ml/stdlib-shims:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+   test? (
+   dev-ml/ANSITerminal
+   dev-ml/cmdliner
+   )
+"
+
+DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
+
+src_install() {
+   dune_src_install
+   einstalldocs
+}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/

2023-03-14 Thread Maciej Barć 
commit: 2a032e6e068371622508d3e2617b5841f87e5067
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Mar 14 22:30:40 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Mar 15 00:25:40 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2a032e6e

dev-lang/elpi: new package; add 1.16.9

Signed-off-by: Maciej Barć  gentoo.org>

 dev-lang/elpi/Manifest   |  1 +
 dev-lang/elpi/elpi-1.16.9.ebuild | 47 
 dev-lang/elpi/metadata.xml   | 27 +++
 3 files changed, 75 insertions(+)

diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest
new file mode 100644
index ..3c296b8fd485
--- /dev/null
+++ b/dev-lang/elpi/Manifest
@@ -0,0 +1 @@
+DIST elpi-1.16.9.tar.gz 2601448 BLAKE2B 
37dd239cae112e6ec1c913dc9fdba60d829c0bbf61876f9c98b927d5d359ed5376ea1663da7e6c808bd62d61380973de7ae649d4a0dddef172f8d2599cc18c35
 SHA512 
89896c0f5d2e9a8ec6d7ef666a0d11c12b670e6951e277c2d29095b3fcbb5a977416cd1876c4c2d8c14b826782b095d3a453db03bebe3438f0eeacc08c7c87fc

diff --git a/dev-lang/elpi/elpi-1.16.9.ebuild b/dev-lang/elpi/elpi-1.16.9.ebuild
new file mode 100644
index ..184849b51e67
--- /dev/null
+++ b/dev-lang/elpi/elpi-1.16.9.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
+HOMEPAGE="https://github.com/LPCIC/elpi/";
+
+if [[ ${PV} == ** ]] ; then
+   inherit git-r3
+   EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git";
+else
+   SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
+   -> ${P}.tar.gz"
+   KEYWORDS="~amd64"
+fi
+
+LICENSE="LGPL-2.1+"
+SLOT="0/${PV}"
+IUSE="+ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=dev-lang/ocaml-4.08.0:=
+   >=dev-ml/menhir-20211230:=
+   dev-ml/atd:=
+   dev-ml/ppx_deriving:=
+   dev-ml/ppxlib:=
+   dev-ml/re:=
+   dev-ml/stdlib-shims:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+   test? (
+   dev-ml/ANSITerminal
+   dev-ml/cmdliner
+   )
+"
+
+DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
+
+src_install() {
+   dune_src_install
+   einstalldocs
+}

diff --git a/dev-lang/elpi/metadata.xml b/dev-lang/elpi/metadata.xml
new file mode 100644
index ..30a70f111a2f
--- /dev/null
+++ b/dev-lang/elpi/metadata.xml
@@ -0,0 +1,27 @@
+
+https://www.gentoo.org/dtd/metadata.dtd";>
+
+
+  
+m...@gentoo.org
+ML
+  
+  
+sci-mathemat...@gentoo.org
+Gentoo Mathematics Project
+  
+  
+ELPI implements a variant of λProlog enriched with Constraint Handling
+Rules, a programming language well suited to manipulate syntax trees with
+binders. ELPI is designed to be embedded into larger applications written
+in OCaml as an extension language. It comes with an API to drive the
+interpreter and with an FFI for defining built-in predicates and data
+types, as well as quotations and similar goodies that are handy to adapt
+the language to the host application.
+  
+  
+
https://raw.githubusercontent.com/LPCIC/elpi/master/CHANGES.md
+https://github.com/LPCIC/elpi/issues/
+LPCIC/elpi
+  
+