summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-11-02 22:26:35 +0100
committerMaciej Barć <xgqt@gentoo.org>2023-11-02 23:11:19 +0100
commit7366c07a37794b7ead809cf8f822fa2d33595e59 (patch)
treedf2a1bc0056d0e25bd606d2b31cdfe70ec0cf462 /dev-ml/fix
parentdev-ml/atd: drop old 2.11.0 (diff)
downloadgentoo-7366c07a37794b7ead809cf8f822fa2d33595e59.tar.gz
gentoo-7366c07a37794b7ead809cf8f822fa2d33595e59.tar.bz2
gentoo-7366c07a37794b7ead809cf8f822fa2d33595e59.zip
dev-ml/fix: drop old 20211125
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml/fix')
-rw-r--r--dev-ml/fix/Manifest1
-rw-r--r--dev-ml/fix/fix-20211125.ebuild16
2 files changed, 0 insertions, 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