summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-11-02 22:27:58 +0100
committerMaciej Barć <xgqt@gentoo.org>2023-11-02 23:11:20 +0100
commitd20e4d9264f0cadedc69dcb530e8fa06d00e535c (patch)
tree41a1e2bd5d3f86c2a0f5a60b7ac614f7ae93c6b8 /dev-ml/fix
parentdev-ml/fix: drop old 20211125 (diff)
downloadgentoo-d20e4d9264f0cadedc69dcb530e8fa06d00e535c.tar.gz
gentoo-d20e4d9264f0cadedc69dcb530e8fa06d00e535c.tar.bz2
gentoo-d20e4d9264f0cadedc69dcb530e8fa06d00e535c.zip
dev-ml/fix: bump to 20230505
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-20230505.ebuild16
2 files changed, 17 insertions, 0 deletions
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