From 70a6506bfdb03d5b26b4ec47a765f97fc00d44e5 Mon Sep 17 00:00:00 2001
From: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Date: Mon, 4 Apr 2022 23:18:42 +0200
Subject: [PATCH] dev-ml/gmap: initial import

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
---
 dev-ml/gmap/Manifest             |  1 +
 dev-ml/gmap/gmap-0.3.0-r2.ebuild | 18 ++++++++++++++++++
 dev-ml/gmap/metadata.xml         | 12 ++++++++++++
 3 files changed, 31 insertions(+)
 create mode 100644 dev-ml/gmap/Manifest
 create mode 100644 dev-ml/gmap/gmap-0.3.0-r2.ebuild
 create mode 100644 dev-ml/gmap/metadata.xml

diff --git a/dev-ml/gmap/Manifest b/dev-ml/gmap/Manifest
new file mode 100644
index 0000000000..3b3471bcbb
--- /dev/null
+++ b/dev-ml/gmap/Manifest
@@ -0,0 +1 @@
+DIST gmap-0.3.0.tbz 7553 BLAKE2B a6efc09fbfc6b448ea07466e1ee0f9beecbac3d30b5f996294b06e24bede082c96cba17885dd3a45942c6de49f0d500b8a3c6a4ca4a180abc1970589705a409f SHA512 71616981f5a15d6b2a47e18702083e52e81f6547076085b1489f676f50b0cc47c7c2c4fa19cb581e2878dc3d4f7133d0c50d8b51a8390be0e6e30318907d81d3
diff --git a/dev-ml/gmap/gmap-0.3.0-r2.ebuild b/dev-ml/gmap/gmap-0.3.0-r2.ebuild
new file mode 100644
index 0000000000..513c6ad691
--- /dev/null
+++ b/dev-ml/gmap/gmap-0.3.0-r2.ebuild
@@ -0,0 +1,18 @@
+# Copyright 2019-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Heterogenous Map over a GADT"
+HOMEPAGE="https://github.com/hannesm/gmap"
+SRC_URI="https://github.com/hannesm/gmap/releases/download/${PV}/${P}.tbz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="ocamlopt"
+
+RDEPEND=""
+DEPEND="${RDEPEND}"
diff --git a/dev-ml/gmap/metadata.xml b/dev-ml/gmap/metadata.xml
new file mode 100644
index 0000000000..f7c50c5687
--- /dev/null
+++ b/dev-ml/gmap/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="person">
+        <description>co-maintainers welcome</description>
+        <email>lssndrbarbieri@gmail.com</email>
+        <name>Alessandro Barbieri</name>
+    </maintainer>
+    <upstream>
+        <remote-id type="github">hannesm/gmap</remote-id>
+    </upstream>
+</pkgmetadata>