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-ml/odoc/
Date: Thu,  7 Sep 2023 21:03:42 +0000 (UTC)	[thread overview]
Message-ID: <1694120618.305a4272ecca2d5797c5b468807118c00b6cdcfd.xgqt@gentoo> (raw)

commit:     305a4272ecca2d5797c5b468807118c00b6cdcfd
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Sep  7 17:58:05 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Sep  7 21:03:38 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=305a4272

dev-ml/odoc: bump to 2.2.1

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-ml/odoc/Manifest          |  1 +
 dev-ml/odoc/odoc-2.2.1.ebuild | 29 +++++++++++++++++++++++++++++
 2 files changed, 30 insertions(+)

diff --git a/dev-ml/odoc/Manifest b/dev-ml/odoc/Manifest
index 33ea89ce7bba..798ea2e8dc4f 100644
--- a/dev-ml/odoc/Manifest
+++ b/dev-ml/odoc/Manifest
@@ -1 +1,2 @@
 DIST odoc-2.2.0.tbz 1548871 BLAKE2B 251c823e5f93e8080d52486e9d048a0c31651b6ea9d4bfdc3202488d7bcd750f9c2899189b943500253bf1e6041cf0283ed5e57c34d1a7d538c7c3710fb9a260 SHA512 9f8fc2ee6b25629474e8aa69dd460becab9277261578af0f7b97f7f779cc5f1056d1b5f14ab583b9b94ea097e5df2d6e35040f2a4887021209705486f9d44a22
+DIST odoc-2.2.1.tbz 1548027 BLAKE2B 846890375debd70519879de261ab829b34dc4f7754ef9d32c2cf6fa07d86ed721a828987398549021ca7805a4e298fef516b5c6e0691e083f8849ccaa6d4184e SHA512 044e37eb3dcc77d9cc8124be558cce77a438723b90225273fb3401d3315c57c8c2f395a48ebd1b6aacc01b00cbfa4bd0be1923d2bd9bd3cc92d0604eadaabc4f

diff --git a/dev-ml/odoc/odoc-2.2.1.ebuild b/dev-ml/odoc/odoc-2.2.1.ebuild
new file mode 100644
index 000000000000..24702587b03d
--- /dev/null
+++ b/dev-ml/odoc/odoc-2.2.1.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2023 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" # ocaml-crunch not in the tree
+
+RDEPEND="
+	>=dev-ml/dune-3
+	dev-ml/astring:=
+	dev-ml/cmdliner:=
+	dev-ml/cppo:=
+	dev-ml/fmt:=
+	dev-ml/fpath:=
+	dev-ml/odoc-parser:=
+	dev-ml/result:=
+	dev-ml/tyxml:=
+"
+DEPEND="${RDEPEND}"


             reply	other threads:[~2023-09-07 21:03 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-09-07 21:03 Maciej Barć [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-10-17 19:47 Alfredo Tupone
2024-07-13  7:51 Alfredo Tupone
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=1694120618.305a4272ecca2d5797c5b468807118c00b6cdcfd.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