From 93a93e9a3b53c1a73142a305ea1f8136846942ee Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Wed, 22 Dec 2021 14:08:05 +0000
Subject: gentoo resync : 22.12.2021

---
 dev-ml/fix/Manifest            |  3 +++
 dev-ml/fix/fix-20211125.ebuild | 16 ++++++++++++++++
 dev-ml/fix/metadata.xml        | 12 ++++++++++++
 3 files changed, 31 insertions(+)
 create mode 100644 dev-ml/fix/Manifest
 create mode 100644 dev-ml/fix/fix-20211125.ebuild
 create mode 100644 dev-ml/fix/metadata.xml

(limited to 'dev-ml/fix')

diff --git a/dev-ml/fix/Manifest b/dev-ml/fix/Manifest
new file mode 100644
index 000000000000..369665690fba
--- /dev/null
+++ b/dev-ml/fix/Manifest
@@ -0,0 +1,3 @@
+DIST fix-20211125.tar.gz 383709 BLAKE2B f74b41e10579423449ec4c78ddc2d58d94c0ba96fe46676979c8f8e31c49a4ab2b305f78082785c52ff3665f19162b14c849b80ba0d09819e327ce7f390ff2d2 SHA512 2ffd3bea841247adeaf8d9ba3cf76669f31dcca97a2ebd415ca3b4540cf273c95f6a0e8bc990aed36dd097b09cf0603c676127ca4141f281f1ae8bb343d90d5f
+EBUILD fix-20211125.ebuild 437 BLAKE2B 40d9660055c43555c2fa2078d62d92a4104b8a14df12cf61a4870be87eac58e1b9419e48e71d90e558ff5a33f53b3e27559d00fc773aa34bffff5a7199885bd5 SHA512 9827863c70e2f1ca1697910452ead7ca12b3f1e9032c15b4558049df3963a3078b098dcfd8e662b269ab68489dfdb1e7959fbe05c90e1191fdd80db9a60bb4ce
+MISC metadata.xml 336 BLAKE2B d846dc519387396575449c27ea9e8d69d1a8c86d049c235a6dec571babdbdf3c528b2d8fe6cb431ab6cedc91d92b4c2c3937f2005a60609138a7be726b49ae33 SHA512 e76df4523b542f2cd71387adf61c67a871393d562548f0c28a7add52be627dbab53530993233da405a5ec6ec61756d726127d0dd9bebfb3f448c1058769f89c3
diff --git a/dev-ml/fix/fix-20211125.ebuild b/dev-ml/fix/fix-20211125.ebuild
new file mode 100644
index 000000000000..9117c4de5fdd
--- /dev/null
+++ b/dev-ml/fix/fix-20211125.ebuild
@@ -0,0 +1,16 @@
+# Copyright 1999-2021 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
diff --git a/dev-ml/fix/metadata.xml b/dev-ml/fix/metadata.xml
new file mode 100644
index 000000000000..1e1b31b6d744
--- /dev/null
+++ b/dev-ml/fix/metadata.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+  <maintainer type="project">
+    <email>ml@gentoo.org</email>
+    <name>ML</name>
+  </maintainer>
+  <upstream>
+    <bugs-to>https://gitlab.inria.fr/fpottier/fix/-/issues/</bugs-to>
+  </upstream>
+</pkgmetadata>
-- 
cgit v1.2.3