From: "Maciej Barć" <xgqt@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/
Date: Wed, 27 Dec 2023 01:20:45 +0000 (UTC) [thread overview]
Message-ID: <1703640040.0ff5d2db1b6a478aff9a9d98f439d7b0344ef38f.xgqt@gentoo> (raw)
commit: 0ff5d2db1b6a478aff9a9d98f439d7b0344ef38f
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Dec 26 21:27:29 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Dec 27 01:20:40 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0ff5d2db
dev-lang/elpi: drop old 1.16.10
Signed-off-by: Maciej Barć <xgqt <AT> 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..000000000000
--- 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} == *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
-}
next reply other threads:[~2023-12-27 1:20 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-12-27 1:20 Maciej Barć [this message]
-- strict thread matches above, loose matches on Subject: below --
2024-12-27 18:52 [gentoo-commits] repo/gentoo:master commit in: dev-lang/elpi/ Maciej Barć
2024-11-26 20:46 Alfredo Tupone
2024-11-23 21:26 Maciej Barć
2024-05-26 21:36 Maciej Barć
2024-05-26 21:36 Maciej Barć
2023-12-27 1:20 Maciej Barć
2023-12-27 1:20 Maciej Barć
2023-08-05 16:53 Maciej Barć
2023-06-28 1:12 Maciej Barć
2023-03-15 1:29 Maciej Barć
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1703640040.0ff5d2db1b6a478aff9a9d98f439d7b0344ef38f.xgqt@gentoo \
--to=xgqt@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox