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/dune-build-info/
Date: Sun, 24 Aug 2025 12:41:40 +0000 (UTC)	[thread overview]
Message-ID: <1756039233.2066fdfa384e30a01c1fcec6958bc8ac5fcba792.tupone@gentoo> (raw)

commit:     2066fdfa384e30a01c1fcec6958bc8ac5fcba792
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Aug 24 11:24:49 2025 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Aug 24 12:40:33 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2066fdfa

dev-ml/dune-build-info: add 3.20.0

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

 dev-ml/dune-build-info/Manifest                    |  1 +
 .../dune-build-info/dune-build-info-3.20.0.ebuild  | 28 ++++++++++++++++++++++
 2 files changed, 29 insertions(+)

diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest
index cf924c8743b8..a7c4b77b852c 100644
--- a/dev-ml/dune-build-info/Manifest
+++ b/dev-ml/dune-build-info/Manifest
@@ -2,3 +2,4 @@ DIST dune-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d37345
 DIST dune-3.16.1.tar.gz 3000392 BLAKE2B 93de09c47fda95e1d83f10c9a4e7cfb7f801c7c4e47acbed7a20ef614ff3a6585d8a25b8617c8ee45d338006a99084d096990d1e8c3cbeb6613caa7f0e1a70b5 SHA512 18e8022c5fa276e06f788cf25a4d6d08e3247c546cd69a5206d4e78ece1f47a615c6d5842e68e1fa7908cae7ae8c6e4f31d2eb835d97b5e6b5e4154957139e9f
 DIST dune-3.18.1.tar.gz 2918737 BLAKE2B 38731cdc61d2944f27487e844c554d0085e9a1787e9ebe7fb92e53d74df6e5919aaefe361c171e129451c7a57b95efe2cc066c1e087bf4a082ca34f6b5a100de SHA512 e9f188360f680bd4a2dad50a11f71e40aec42247f2eff2ac8f3071e6500620c1e631377e675f6b336c2ee9420d665885ce3509b7285bcef306521ba9b49c5208
 DIST dune-3.19.1.tar.gz 2917826 BLAKE2B 588a7d2195169ed1210a7126bd06cfdea4fa0e7735f23c346314c3cbbea1e76ec1286f1b56b337a151fc3246343c001794bde6a9eb85a4a05c6a1537ae2ae8bb SHA512 a101cad5d159a7134bd38d25968ea24189485b12f517e746c5b4c367a8d6ca0959ea59a71dc8c939e5d28a6ae644de9b3c12582579c044e3a081373ac680beb6
+DIST dune-3.20.0.tar.gz 3050361 BLAKE2B 91d8c347d27b444bb3764a5bb8f910c6fc8282a664d94ae213bac000a219f4f7f1d57cc152cddaee358225b779b7d433817ae02b94cb7cc501e9d1e95c53633e SHA512 6723652837f9c1349bfdbfc6514ff379f9460baef3be35a836a6d8f898278a015bfd35cef5c83c510728526dd2f9a1d8a09f0339c71db5720593306467b6fade

diff --git a/dev-ml/dune-build-info/dune-build-info-3.20.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.20.0.ebuild
new file mode 100644
index 000000000000..70e8bb01c2fd
--- /dev/null
+++ b/dev-ml/dune-build-info/dune-build-info-3.20.0.ebuild
@@ -0,0 +1,28 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Embed locations informations inside executable and libraries"
+HOMEPAGE="https://github.com/ocaml/dune"
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm64 ~ppc64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+RDEPEND=">=dev-ml/dune-3.20"
+DEPEND="${RDEPEND}"
+
+src_configure() {
+	:
+}
+
+src_compile() {
+	dune-compile ${PN}
+}


             reply	other threads:[~2025-08-24 12:41 UTC|newest]

Thread overview: 39+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-08-24 12:41 Alfredo Tupone [this message]
  -- strict thread matches above, loose matches on Subject: below --
2025-09-20 21:59 [gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/ Alfredo Tupone
2025-08-26 14:38 Alfredo Tupone
2025-07-19 12:02 Alfredo Tupone
2025-06-07 12:16 Alfredo Tupone
2025-06-07 12:14 Alfredo Tupone
2025-04-20 17:59 Alfredo Tupone
2025-02-15 12:32 Alfredo Tupone
2024-11-16 17:08 Alfredo Tupone
2024-11-16 17:06 Alfredo Tupone
2024-09-28 11:45 Alfredo Tupone
2024-08-16 13:58 Sam James
2024-08-13 20:01 Arthur Zamarin
2024-08-13 19:32 Arthur Zamarin
2024-07-03 16:02 Alfredo Tupone
2024-07-02  7:18 Alfredo Tupone
2024-06-08 14:21 Arthur Zamarin
2024-06-08 14:21 Arthur Zamarin
2024-06-08 14:21 Arthur Zamarin
2024-06-08 11:33 Alfredo Tupone
2024-06-03 20:42 Alfredo Tupone
2023-08-16 13:29 Arthur Zamarin
2023-08-02 19:53 Alfredo Tupone
2023-07-11 17:01 Alfredo Tupone
2023-07-03 19:02 Alfredo Tupone
2023-06-24 12:35 Arthur Zamarin
2023-05-23 19:37 Alfredo Tupone
2023-05-20 16:47 Alfredo Tupone
2023-04-16  8:41 Alfredo Tupone
2023-03-17 14:11 Sam James
2023-03-17 14:11 Sam James
2023-03-15 20:26 Arthur Zamarin
2023-03-01 18:42 Alfredo Tupone
2023-02-24 16:14 Arthur Zamarin
2023-02-23 23:38 Sam James
2022-12-16 21:52 Alfredo Tupone
2022-11-22 18:34 Alfredo Tupone
2022-01-29 19:31 Alfredo Tupone
2021-12-11  2:57 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=1756039233.2066fdfa384e30a01c1fcec6958bc8ac5fcba792.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