public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
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
-}


             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