commit: 7366c07a37794b7ead809cf8f822fa2d33595e59 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Thu Nov 2 21:26:35 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Thu Nov 2 22:11:19 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7366c07a
dev-ml/fix: drop old 20211125 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-ml/fix/Manifest | 1 - dev-ml/fix/fix-20211125.ebuild | 16 ---------------- 2 files changed, 17 deletions(-) diff --git a/dev-ml/fix/Manifest b/dev-ml/fix/Manifest index a1dc7fa4cc5c..d8fd38194dc9 100644 --- a/dev-ml/fix/Manifest +++ b/dev-ml/fix/Manifest @@ -1,2 +1 @@ -DIST fix-20211125.tar.bz2 340491 BLAKE2B e08aad2779c711206cc133783c2a0bcff5154f514d04d791fd34d544104a8f172a7532bf1ee3ef5d13f774f3cf8b077277f44a08b0685b042b2d9a0a99eb1e51 SHA512 a349101b092b1dda82d24bc25ecadf0f641ebe6a909b1acdb6438dd57186d14b2351c0ea8fd1987de2183da995e33655229246a9760d5a22bf1f5bb15e12c932 DIST fix-20220121.tar.bz2 342191 BLAKE2B 58ea04bc8afd881346465185885f2261159670f5aa4f98f34326e16ad46393c072bcd5f8216824ddaa1556a390abce1e8cb8eb6220d930f1c992153e4db59a10 SHA512 7a4767529f233d14e3b20f2fbc418f1745ccdf5bb771e871a642757efb777400b3dc7efe6083166a24495c9e7b5a54acbeda1ae1eb8f220322eb1b4e404eccac 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
