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/pp/
Date: Thu, 17 Oct 2024 20:00:33 +0000 (UTC)	[thread overview]
Message-ID: <1729195219.6c4548a093b147586a372751f28da49c1fec9d58.tupone@gentoo> (raw)

commit:     6c4548a093b147586a372751f28da49c1fec9d58
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 17 19:59:57 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Oct 17 20:00:19 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6c4548a0

dev-ml/pp: add 2.0.0

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

 dev-ml/pp/Manifest        |  1 +
 dev-ml/pp/pp-2.0.0.ebuild | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+)

diff --git a/dev-ml/pp/Manifest b/dev-ml/pp/Manifest
index 55dc8ae007d9..838a730aa585 100644
--- a/dev-ml/pp/Manifest
+++ b/dev-ml/pp/Manifest
@@ -1,2 +1,3 @@
 DIST pp-1.1.2.tbz 9586 BLAKE2B 36bf09c2623c28215f2d4d3260681dacf7041919e09eb5e53ee04f90706b037784c0f7d5cbdfee58ce2808f28df09638fa4d15b82d8542badc05c06c0d8cce96 SHA512 58f78b083483006b40814be9aac33c895349eb1c6427d2762b4d760192613401262478bd5deff909763517560b06af7bf013c6a6f87d549aafa77b26345303f2
 DIST pp-1.2.0.tbz 10959 BLAKE2B 92d9ca14a9c6370cdd2ccadacfe74cd44fd260a5c0c8ae757354ebbde9a41be14c4af88636e8cd8221cea3a7b4bb3eb584e51a220055473462ed8c43a5d3e0e7 SHA512 912164c2aa7241d73f735dadfbefe8ed0138d241579d2e885440e068fac78eb9f0b3d782c2420e757e313168c1725daff6ab91800dd315b1e05288456998b40a
+DIST pp-2.0.0.tbz 11585 BLAKE2B f1b9965c1bd455b7f421facfddd2e639c64d659f6090db342d3f2d8a21e1528373b65307f633732b1fbb07c4d0d9ff91fbedcaaf0f1e9895c8b4227d4432d93e SHA512 78cb68f35c0b975dd1e91bd83d5e33bcec1ee642431585d55864c483c70a032755dfcf21ec5697691e7e7554381ddb580639fd149e28ba6f74d04d2ee43d360d

diff --git a/dev-ml/pp/pp-2.0.0.ebuild b/dev-ml/pp/pp-2.0.0.ebuild
new file mode 100644
index 000000000000..b9cb6b75d1b6
--- /dev/null
+++ b/dev-ml/pp/pp-2.0.0.ebuild
@@ -0,0 +1,18 @@
+# Copyright 2022-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Pretty-printing library"
+HOMEPAGE="https://github.com/ocaml-dune/pp"
+SRC_URI="https://github.com/ocaml-dune/pp/releases/download/${PV}/${P}.tbz"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt test"
+RESTRICT="!test? ( test )"
+
+BDEPEND="test? ( dev-ml/ppx_expect )"


             reply	other threads:[~2024-10-17 20:00 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-10-17 20:00 Alfredo Tupone [this message]
  -- strict thread matches above, loose matches on Subject: below --
2024-12-29 10:54 [gentoo-commits] repo/gentoo:master commit in: dev-ml/pp/ Sam James
2024-12-29 10:54 Sam James
2024-12-29 10:54 Sam James
2024-10-15 15:25 Arthur Zamarin
2024-10-15 15:25 Arthur Zamarin
2024-07-13  7:58 Alfredo Tupone
2023-04-29  8:52 Arthur Zamarin
2023-04-29  8:51 Arthur Zamarin
2023-04-29  8:36 Arthur Zamarin
2023-04-01  0:55 Sam James
2023-03-17 16:01 Arthur Zamarin
2022-11-19 22:20 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=1729195219.6c4548a093b147586a372751f28da49c1fec9d58.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