From 54e9f9704b37e05c561eadb37d89d30ee7dda9ee Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 3 Nov 2023 03:56:37 +0000 Subject: gentoo auto-resync : 03:11:2023 - 03:56:37 --- dev-ml/fix/Manifest | 4 ++-- dev-ml/fix/fix-20211125.ebuild | 16 ---------------- dev-ml/fix/fix-20230505.ebuild | 16 ++++++++++++++++ 3 files changed, 18 insertions(+), 18 deletions(-) delete mode 100644 dev-ml/fix/fix-20211125.ebuild create mode 100644 dev-ml/fix/fix-20230505.ebuild (limited to 'dev-ml/fix') diff --git a/dev-ml/fix/Manifest b/dev-ml/fix/Manifest index becf22444b27..3a783d94e4f7 100644 --- a/dev-ml/fix/Manifest +++ b/dev-ml/fix/Manifest @@ -1,5 +1,5 @@ -DIST fix-20211125.tar.bz2 340491 BLAKE2B e08aad2779c711206cc133783c2a0bcff5154f514d04d791fd34d544104a8f172a7532bf1ee3ef5d13f774f3cf8b077277f44a08b0685b042b2d9a0a99eb1e51 SHA512 a349101b092b1dda82d24bc25ecadf0f641ebe6a909b1acdb6438dd57186d14b2351c0ea8fd1987de2183da995e33655229246a9760d5a22bf1f5bb15e12c932 DIST fix-20220121.tar.bz2 342191 BLAKE2B 58ea04bc8afd881346465185885f2261159670f5aa4f98f34326e16ad46393c072bcd5f8216824ddaa1556a390abce1e8cb8eb6220d930f1c992153e4db59a10 SHA512 7a4767529f233d14e3b20f2fbc418f1745ccdf5bb771e871a642757efb777400b3dc7efe6083166a24495c9e7b5a54acbeda1ae1eb8f220322eb1b4e404eccac -EBUILD fix-20211125.ebuild 438 BLAKE2B d3ae4e886d935d1e8cda5071f9b7857c671cc2df0f8351e6882b537e92013ebd6a9e399e11be96257e87deb370c363a2432924668cdd89e46f2b82bc308f7162 SHA512 d90ef5ad394b4ee34e196b6f121b00d8223849197190cfbd195afa55f19808d5367abe44bc96c4a6b8946bf09460781656791e64c90d3252b11eded58d6dd48c +DIST fix-20230505.tar.bz2 355711 BLAKE2B fbcce6561610315969409d7f6ab2c3e7b3a6dd249d1496120765e5a787d51314efa96f63465098dfe9733a34c9587d6a7b16669b2e8923be9c10fe656f24db80 SHA512 2b4c7539ca3226d825ee2adceea5c8f1bc7c66d58d0e092847be9f1293c9f06cf50bcfd38f078fafdc79876191f3e546af8d3a835458f94c14c9202730bc2f1d EBUILD fix-20220121.ebuild 438 BLAKE2B d3ae4e886d935d1e8cda5071f9b7857c671cc2df0f8351e6882b537e92013ebd6a9e399e11be96257e87deb370c363a2432924668cdd89e46f2b82bc308f7162 SHA512 d90ef5ad394b4ee34e196b6f121b00d8223849197190cfbd195afa55f19808d5367abe44bc96c4a6b8946bf09460781656791e64c90d3252b11eded58d6dd48c +EBUILD fix-20230505.ebuild 429 BLAKE2B a1dd898bc39cd8a7223b822bc0a7b0b4b72eb53eeb538a6d6252d52427b9fd7c0ef9556fb7628f5213b563da4e626cf706f9e37c29e8ff97cfeeb952f9518863 SHA512 62794524c614855a1d16149b6491c20e4630cc811ddb2f75fb823e3823dc06cb401c186e5df96f243cca70b1ca7f4d36c1df0ae7d73c1c5c567d8d268632951a MISC metadata.xml 337 BLAKE2B c1b196deea2f4caf9bf802d64f5d5e56e37342bb06b2d44abe42d2136934d6f21cd502ff7a3966c92484d245c7f48aadebeb0962b69e5949162ddb0d10374b77 SHA512 8dcd69b86c8fcaeff4af6e9d0bedf2ce3c96829374662c1fb602e70117e89fe886af3c01fb8583fea2b5e22005a45516fb86b211e13e9e5b20fa710c6da989d7 diff --git a/dev-ml/fix/fix-20211125.ebuild b/dev-ml/fix/fix-20211125.ebuild deleted file mode 100644 index d10531a6a1d9..000000000000 --- a/dev-ml/fix/fix-20211125.ebuild +++ /dev/null @@ -1,16 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -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 & qcheck not yet packaged 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 -- cgit v1.2.3