From: "Maciej Barć" <xgqt@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/fix/
Date: Thu, 2 Nov 2023 22:11:28 +0000 (UTC) [thread overview]
Message-ID: <1698963080.d20e4d9264f0cadedc69dcb530e8fa06d00e535c.xgqt@gentoo> (raw)
commit: d20e4d9264f0cadedc69dcb530e8fa06d00e535c
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Nov 2 21:27:58 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Nov 2 22:11:20 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d20e4d92
dev-ml/fix: bump to 20230505
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-ml/fix/Manifest | 1 +
dev-ml/fix/fix-20230505.ebuild | 16 ++++++++++++++++
2 files changed, 17 insertions(+)
diff --git a/dev-ml/fix/Manifest b/dev-ml/fix/Manifest
index d8fd38194dc9..acdff1ece7a0 100644
--- a/dev-ml/fix/Manifest
+++ b/dev-ml/fix/Manifest
@@ -1 +1,2 @@
DIST fix-20220121.tar.bz2 342191 BLAKE2B 58ea04bc8afd881346465185885f2261159670f5aa4f98f34326e16ad46393c072bcd5f8216824ddaa1556a390abce1e8cb8eb6220d930f1c992153e4db59a10 SHA512 7a4767529f233d14e3b20f2fbc418f1745ccdf5bb771e871a642757efb777400b3dc7efe6083166a24495c9e7b5a54acbeda1ae1eb8f220322eb1b4e404eccac
+DIST fix-20230505.tar.bz2 355711 BLAKE2B fbcce6561610315969409d7f6ab2c3e7b3a6dd249d1496120765e5a787d51314efa96f63465098dfe9733a34c9587d6a7b16669b2e8923be9c10fe656f24db80 SHA512 2b4c7539ca3226d825ee2adceea5c8f1bc7c66d58d0e092847be9f1293c9f06cf50bcfd38f078fafdc79876191f3e546af8d3a835458f94c14c9202730bc2f1d
diff --git a/dev-ml/fix/fix-20230505.ebuild b/dev-ml/fix/fix-20230505.ebuild
new file mode 100644
index 000000000000..8769e9a957ca
--- /dev/null
+++ b/dev-ml/fix/fix-20230505.ebuild
@@ -0,0 +1,16 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Facilities for memoization and fixed points"
+HOMEPAGE="https://gitlab.inria.fr/fpottier/fix"
+SRC_URI="https://gitlab.inria.fr/fpottier/fix/-/archive/${PV}/${P}.tar.bz2"
+
+LICENSE="LGPL-2"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test" # regenerate not yet packaged
next reply other threads:[~2023-11-02 22:11 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-11-02 22:11 Maciej Barć [this message]
-- strict thread matches above, loose matches on Subject: below --
2023-11-02 22:11 [gentoo-commits] repo/gentoo:master commit in: dev-ml/fix/ Maciej Barć
2022-12-05 18:04 Alfredo Tupone
2022-01-29 22:11 Alfredo Tupone
2021-12-06 10:34 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=1698963080.d20e4d9264f0cadedc69dcb530e8fa06d00e535c.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