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/odoc/
Date: Thu, 17 Oct 2024 19:47:54 +0000 (UTC)	[thread overview]
Message-ID: <1729194457.6de657fe0b2ffce0ffd8465fe22aa2e73b120ee8.tupone@gentoo> (raw)

commit:     6de657fe0b2ffce0ffd8465fe22aa2e73b120ee8
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 17 19:47:37 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Oct 17 19:47:37 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6de657fe

dev-ml/odoc: add 2.4.3

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

 dev-ml/odoc/Manifest          |  1 +
 dev-ml/odoc/odoc-2.4.3.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/odoc/Manifest b/dev-ml/odoc/Manifest
index 04e97d427fc0..6e6157dc3d0e 100644
--- a/dev-ml/odoc/Manifest
+++ b/dev-ml/odoc/Manifest
@@ -1,3 +1,4 @@
 DIST odoc-2.2.0.tbz 1548871 BLAKE2B 251c823e5f93e8080d52486e9d048a0c31651b6ea9d4bfdc3202488d7bcd750f9c2899189b943500253bf1e6041cf0283ed5e57c34d1a7d538c7c3710fb9a260 SHA512 9f8fc2ee6b25629474e8aa69dd460becab9277261578af0f7b97f7f779cc5f1056d1b5f14ab583b9b94ea097e5df2d6e35040f2a4887021209705486f9d44a22
 DIST odoc-2.2.1.tbz 1548027 BLAKE2B 846890375debd70519879de261ab829b34dc4f7754ef9d32c2cf6fa07d86ed721a828987398549021ca7805a4e298fef516b5c6e0691e083f8849ccaa6d4184e SHA512 044e37eb3dcc77d9cc8124be558cce77a438723b90225273fb3401d3315c57c8c2f395a48ebd1b6aacc01b00cbfa4bd0be1923d2bd9bd3cc92d0604eadaabc4f
 DIST odoc-2.4.2.tbz 1761532 BLAKE2B d690b94eae406b66ec5bc6ea44d0bf006eea534861e8a457f0355cee50b3908173c249f69c59726b867ee38c21715c05217b409fb2d6a74d26c782e8357bc8ad SHA512 8d48c99e0c253791177dd65287ce5cee47e7c6805e33f3ae0cf6c8e7d349128f26eebbe36459c31429c11519ad5979dbe36fbcb9403a5fde199a69976a3fb3a6
+DIST odoc-2.4.3.tbz 1764166 BLAKE2B b9de37c767e9c17367a0105afda75803c75e2b40c6c40c4bd63f99b503d0686224e74523c4c2f3214220d019fc6890df56c7e599d2b402f0c3e212178eea486e SHA512 e78faa68c726db3034c12f0cbf76efb87e73f03430a734f82eeea4fb8813e5ebb8ad176012ed20cc1d56a874c601489ca3f02c929474f925eec6d51ce6bdb856

diff --git a/dev-ml/odoc/odoc-2.4.3.ebuild b/dev-ml/odoc/odoc-2.4.3.ebuild
new file mode 100644
index 000000000000..5954f689daba
--- /dev/null
+++ b/dev-ml/odoc/odoc-2.4.3.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="OCaml documentation generator"
+HOMEPAGE="http://github.com/ocaml/odoc/"
+SRC_URI="https://github.com/ocaml/${PN}/releases/download/${PV}/${P}.tbz"
+
+LICENSE="ISC"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt test"
+RESTRICT="test"
+
+RDEPEND="
+	dev-ml/astring:=
+	dev-ml/camlp-streams:=[ocamlopt?]
+	dev-ml/cmdliner:=[ocamlopt?]
+	!dev-ml/odoc-parser
+	dev-ml/fmt:=[ocamlopt?]
+	dev-ml/fpath:=
+	dev-ml/ocaml-crunch:=[ocamlopt?]
+	dev-ml/result:=[ocamlopt?]
+	dev-ml/tyxml:=[ocamlopt?]
+"
+DEPEND="${RDEPEND}
+	dev-ml/cppo:=[ocamlopt?]
+"
+BDEPEND=">=dev-ml/dune-3.7"
+
+src_compile() {
+	dune-compile ${PN} odoc-parser
+}


             reply	other threads:[~2024-10-17 19:47 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-10-17 19:47 Alfredo Tupone [this message]
  -- strict thread matches above, loose matches on Subject: below --
2024-11-17  8:42 [gentoo-commits] repo/gentoo:master commit in: dev-ml/odoc/ Alfredo Tupone
2024-07-13  7:51 Alfredo Tupone
2023-09-07 21:03 Maciej Barć
2023-03-05 10:37 Alfredo Tupone
2022-12-21 13:58 Maciej Barć
2022-12-21 13:24 Alfredo Tupone

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=1729194457.6de657fe0b2ffce0ffd8465fe22aa2e73b120ee8.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