commit: 7e4f47c76ceed7537f9fe1e0f9ee78728046174d Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Sun Sep 21 18:14:30 2025 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Sun Sep 21 18:17:20 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7e4f47c7
dev-ml/fix: add 20250919 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> dev-ml/fix/Manifest | 1 + dev-ml/fix/fix-20250919.ebuild | 16 ++++++++++++++++ 2 files changed, 17 insertions(+) diff --git a/dev-ml/fix/Manifest b/dev-ml/fix/Manifest index 6ed662ded836..e8790dc581e2 100644 --- a/dev-ml/fix/Manifest +++ b/dev-ml/fix/Manifest @@ -1,3 +1,4 @@ DIST fix-20220121.tar.bz2 342191 BLAKE2B 58ea04bc8afd881346465185885f2261159670f5aa4f98f34326e16ad46393c072bcd5f8216824ddaa1556a390abce1e8cb8eb6220d930f1c992153e4db59a10 SHA512 7a4767529f233d14e3b20f2fbc418f1745ccdf5bb771e871a642757efb777400b3dc7efe6083166a24495c9e7b5a54acbeda1ae1eb8f220322eb1b4e404eccac DIST fix-20230505.tar.bz2 355711 BLAKE2B fbcce6561610315969409d7f6ab2c3e7b3a6dd249d1496120765e5a787d51314efa96f63465098dfe9733a34c9587d6a7b16669b2e8923be9c10fe656f24db80 SHA512 2b4c7539ca3226d825ee2adceea5c8f1bc7c66d58d0e092847be9f1293c9f06cf50bcfd38f078fafdc79876191f3e546af8d3a835458f94c14c9202730bc2f1d DIST fix-20250428.tar.bz2 356681 BLAKE2B 0184d32955ddbb3cf4dab9758334aa1ec122b8bcab1092f86b01f9e00e47fa6c0273abdc3e13f78936417eb377385aaca47d51ce56637b6bd607b892cd3c0610 SHA512 3fe3754ea1ba68cf3d72fbfc6afec54cfb4826fb1f864921b9d0e80cd38f0ef42a342ad8d52f0a58cd53c6f8990ada9cc98920b0f6c89cbb1276e08b137e2e2f +DIST fix-20250919.tar.bz2 359100 BLAKE2B 93c8f61cb6e241a0b7aeeaac020eb382bcf7480a678130be57e0039a7478bca26241163fccaaf249d3dcebab982d023afed01a014765e7734f56f633ee656c6c SHA512 c879731a132842c5b8554790bab12eda8a15ded7a1b9ba2c5343e1be5f2e043a8e23b6547496cbb967eaef68988e29ee2163e9a54e1c117e846e9f0d36674c64 diff --git a/dev-ml/fix/fix-20250919.ebuild b/dev-ml/fix/fix-20250919.ebuild new file mode 100644 index 000000000000..0d259a964293 --- /dev/null +++ b/dev-ml/fix/fix-20250919.ebuild @@ -0,0 +1,16 @@ +# Copyright 1999-2025 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
