public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Alfredo Tupone" <tupone@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/merlin/
Date: Sun, 17 Nov 2024 21:08:27 +0000 (UTC)	[thread overview]
Message-ID: <1731877688.76de0a6f53ac74e18dbde45b977faf5dd9be7756.tupone@gentoo> (raw)

commit:     76de0a6f53ac74e18dbde45b977faf5dd9be7756
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Nov 17 21:07:41 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Nov 17 21:08:08 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=76de0a6f

dev-ml/merlin: Build also with ocaml-5

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/merlin/{merlin-4.14.ebuild => merlin-4.14-r1.ebuild} | 2 --
 1 file changed, 2 deletions(-)

diff --git a/dev-ml/merlin/merlin-4.14.ebuild b/dev-ml/merlin/merlin-4.14-r1.ebuild
similarity index 98%
rename from dev-ml/merlin/merlin-4.14.ebuild
rename to dev-ml/merlin/merlin-4.14-r1.ebuild
index 1e27f6798620..5a667612cdd4 100644
--- a/dev-ml/merlin/merlin-4.14.ebuild
+++ b/dev-ml/merlin/merlin-4.14-r1.ebuild
@@ -25,11 +25,9 @@ IUSE="emacs +ocamlopt test"
 RESTRICT="test"
 
 RDEPEND="
-	<dev-lang/ocaml-5
 	>=dev-lang/ocaml-4.14.1
 	>=dev-ml/dune-2.9:=
 	>=dev-ml/yojson-2.0.0:=
-	dev-lang/ocaml:=[ocamlopt?]
 	dev-ml/csexp:=
 	dev-ml/menhir:=
 	emacs? (


             reply	other threads:[~2024-11-17 21:08 UTC|newest]

Thread overview: 49+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-11-17 21:08 Alfredo Tupone [this message]
  -- strict thread matches above, loose matches on Subject: below --
2025-04-01 22:27 [gentoo-commits] repo/gentoo:master commit in: dev-ml/merlin/ Maciej Barć
2024-12-27 18:52 Maciej Barć
2024-12-27 18:52 Maciej Barć
2024-11-17 15:21 Alfredo Tupone
2024-07-17 20:27 Maciej Barć
2024-06-09 21:22 Maciej Barć
2024-06-09 21:22 Maciej Barć
2024-06-08 23:11 Maciej Barć
2024-02-08 10:31 Maciej Barć
2024-02-08 10:31 Maciej Barć
2024-02-08 10:31 Maciej Barć
2023-10-09  7:35 Maciej Barć
2023-10-09  7:35 Maciej Barć
2023-08-27 12:42 Maciej Barć
2023-08-27 12:42 Maciej Barć
2023-08-27 12:42 Maciej Barć
2023-08-10 22:19 Maciej Barć
2023-02-12 13:28 Alfredo Tupone
2022-11-29 23:58 Maciej Barć
2022-11-29 23:58 Maciej Barć
2022-11-29 23:58 Maciej Barć
2022-11-29 23:58 Maciej Barć
2022-11-29 23:58 Maciej Barć
2022-11-28 20:33 Maciej Barć
2022-10-23  8:14 Maciej Barć
2022-09-25 19:01 Maciej Barć
2022-07-23  0:06 Maciej Barć
2022-07-22  2:26 Maciej Barć
2022-06-21  1:53 Sam James
2022-06-08 20:27 Maciej Barć
2022-04-12 21:43 Maciej Barć
2022-01-26  7:55 Alfredo Tupone
2022-01-16 10:35 Alfredo Tupone
2021-10-17 14:54 Alfredo Tupone
2021-10-07  6:23 Alfredo Tupone
2021-09-29  7:13 Alfredo Tupone
2021-09-28 20:43 Alfredo Tupone
2021-06-21 22:36 Sam James
2021-05-10 17:09 Alfredo Tupone
2021-03-20  1:15 Sam James
2021-03-19 10:24 Sam James
2017-10-04  8:02 Alexis Ballier
2017-08-06  7:40 Alexis Ballier
2017-07-29 10:06 Alexis Ballier
2017-07-25 18:14 Alexis Ballier
2017-06-15  8:49 Alexis Ballier
2017-04-25 17:32 Alexis Ballier
2017-04-03 10:22 Alexis Ballier

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=1731877688.76de0a6f53ac74e18dbde45b977faf5dd9be7756.tupone@gentoo \
    --to=tupone@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