mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-19 03:53:22 -04:00
Code Issues Packages Projects Releases Wiki Activity

dev-ml/gmap: initial import

Browse Source 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
2022-04-04 23:18:42 +02:00
parent 4b98873201
commit 70a6506bfd
3 changed files with 31 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
dev-ml/gmap/gmap-0.3.0-r2.ebuild Normal file
View File

@@ -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}"