summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2022-01-29 23:09:35 +0100
committerAlfredo Tupone <tupone@gentoo.org>2022-01-29 23:11:20 +0100
commit156ccbf5b34227d11bae1438c37db90e8d1febf9 (patch)
tree641acf06bd369c8e17cc38fb1f7d5090bacf8ab0 /dev-ml/fix
parentdev-python/ipaddr: Run 2to3 via Python (diff)
downloadgentoo-156ccbf5b34227d11bae1438c37db90e8d1febf9.tar.gz
gentoo-156ccbf5b34227d11bae1438c37db90e8d1febf9.tar.bz2
gentoo-156ccbf5b34227d11bae1438c37db90e8d1febf9.zip
dev-ml/fix: 20220121 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/fix')
-rw-r--r--dev-ml/fix/Manifest1
-rw-r--r--dev-ml/fix/fix-20220121.ebuild16
2 files changed, 17 insertions, 0 deletions
diff --git a/dev-ml/fix/Manifest b/dev-ml/fix/Manifest
index b6c745a7a453..5ee0f6c20df4 100644
--- a/dev-ml/fix/Manifest
+++ b/dev-ml/fix/Manifest
@@ -1 +1,2 @@
DIST fix-20211125.tar.gz 383709 BLAKE2B f74b41e10579423449ec4c78ddc2d58d94c0ba96fe46676979c8f8e31c49a4ab2b305f78082785c52ff3665f19162b14c849b80ba0d09819e327ce7f390ff2d2 SHA512 2ffd3bea841247adeaf8d9ba3cf76669f31dcca97a2ebd415ca3b4540cf273c95f6a0e8bc990aed36dd097b09cf0603c676127ca4141f281f1ae8bb343d90d5f
+DIST fix-20220121.tar.gz 385029 BLAKE2B 4534ddea956e2079018056c27423a5e308e5faeaf5c8af97457691b2c1094bd97e5d82302387299a92834d491e6cc5c7b183793403c7ea0bd3c8daf71a54d493 SHA512 6b0afa1e3d2a75b814fe4617cdbc72f1c57959d77fbe6e67b5df03dc316e22cba448c6a496b77bded102edc55af885145a1a74bbef86df714c896aeccbd40052
diff --git a/dev-ml/fix/fix-20220121.ebuild b/dev-ml/fix/fix-20220121.ebuild
new file mode 100644
index 000000000000..eedbd2f24ad4
--- /dev/null
+++ b/dev-ml/fix/fix-20220121.ebuild
@@ -0,0 +1,16 @@
+# 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.gz"
+
+LICENSE="LGPL-2"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test" # regenerate & qcheck not yet packaged