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

["Maciej Barć" <xgqt@gentoo.org>]

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

dev-lang/elpi: drop old 1.17.0

Signed-off-by: Maciej Barć <xgqt <AT> 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..000000000000
--- 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} == *9999* ]] ; 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
-}