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
