summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang/elpi')
-rw-r--r--dev-lang/elpi/Manifest1
-rw-r--r--dev-lang/elpi/elpi-1.17.0.ebuild47
2 files changed, 0 insertions, 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
-}