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/tyxml/
Date: Sat, 30 Sep 2023 14:24:31 +0000 (UTC)	[thread overview]
Message-ID: <1696083866.53bd2701be99a2f07356afe8d9d1d7efe4ad442c.xgqt@gentoo> (raw)

commit:     53bd2701be99a2f07356afe8d9d1d7efe4ad442c
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 29 11:24:34 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Sep 30 14:24:26 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=53bd2701

dev-ml/tyxml: bump to 4.6.0

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

 dev-ml/tyxml/Manifest           |  1 +
 dev-ml/tyxml/tyxml-4.6.0.ebuild | 34 ++++++++++++++++++++++++++++++++++
 2 files changed, 35 insertions(+)

diff --git a/dev-ml/tyxml/Manifest b/dev-ml/tyxml/Manifest
index 6e7b8d531661..ee2302dbc275 100644
--- a/dev-ml/tyxml/Manifest
+++ b/dev-ml/tyxml/Manifest
@@ -1 +1,2 @@
 DIST tyxml-4.5.0.tbz 102918 BLAKE2B 28c5f827e6969ce9557a86c976e6925716f30759607a11c027c9c6a63c6078437c84ec565d03a91775223fbb9bef97f7acc0c0bb5677205c7e0af7be601b6e26 SHA512 772535441b09c393d53c27152e65f404a0a541aa0cea1bda899a8d751ab64d1729237e583618c3ff33d75e3865d53503d1ea413c6bbc8c68c413347efd1709b3
+DIST tyxml-4.6.0.tbz 107055 BLAKE2B 51785927d3279ffcab940d42ff4de9a7d797ab7abf78bff80914db0355cb9f2f074310371d55abcb601595b461b718af8837c05fe6beca9b4988010526b6b5ff SHA512 69750eeaf467014282087bf9628f3278f3e5f00f4c7400358750d208664cfc3f79a5cba16767d2935e53477d1a6862fe08c5b801b69052ec12e09d1a93a5e9b4

diff --git a/dev-ml/tyxml/tyxml-4.6.0.ebuild b/dev-ml/tyxml/tyxml-4.6.0.ebuild
new file mode 100644
index 000000000000..0064acfb4d31
--- /dev/null
+++ b/dev-ml/tyxml/tyxml-4.6.0.ebuild
@@ -0,0 +1,34 @@
+# Copyright 2022-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="A library for building correct HTML and SVG documents"
+HOMEPAGE="https://github.com/ocsigen/tyxml/"
+SRC_URI="https://github.com/ocsigen/${PN}/releases/download/${PV}/${P}.tbz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+	dev-ml/markup:=
+	dev-ml/ppxlib:=
+	dev-ml/uutf:=
+	dev-ml/re:=
+"
+DEPEND="
+	${RDEPEND}
+"
+BDEPEND="
+	test? (
+		dev-ml/alcotest
+		dev-ml/reason
+	)
+"
+
+PATCHES=( "${FILESDIR}"/${PN}-4.5.0-gentoo.patch )


             reply	other threads:[~2023-09-30 14:24 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-09-30 14:24 Maciej Barć [this message]
  -- strict thread matches above, loose matches on Subject: below --
2021-02-20 17:15 [gentoo-commits] repo/gentoo:master commit in: dev-ml/tyxml/ Alfredo Tupone
2021-02-20 16:34 Alfredo Tupone
2021-02-17 21:26 Alfredo Tupone
2017-03-07 13:29 Alexis Ballier
2017-01-24 10:55 Alexis Ballier
2016-12-07 19:33 Alexis Ballier
2016-06-21 14:21 Alexis Ballier
2016-05-24  9:16 Alexis Ballier
2016-01-19 12:18 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=1696083866.53bd2701be99a2f07356afe8d9d1d7efe4ad442c.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