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

dev-ml/gmap: update HOMEPAGE

Browse Source 
Closes: https://bugs.gentoo.org/838778
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
2022-04-16 14:28:53 +02:00
parent c8d086cbeb
commit bd78ba7153
1 changed files with 14 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
dev-ml/gmap/gmap-0.3.0-r2.ebuild
View File

@@ -6,13 +6,24 @@ EAPI=8
inherit dune inherit dune
DESCRIPTION="Heterogenous Map over a GADT" DESCRIPTION="Heterogenous Map over a GADT"
HOMEPAGE="https://github.com/hannesm/gmap" HOMEPAGE="
https://github.com/hannesm/gmap
https://opam.ocaml.org/packages/gmap/
"
SRC_URI="https://github.com/hannesm/gmap/releases/download/${PV}/${P}.tbz" SRC_URI="https://github.com/hannesm/gmap/releases/download/${PV}/${P}.tbz"
LICENSE="ISC" LICENSE="ISC"
SLOT="0/${PV}" SLOT="0/${PV}"
KEYWORDS="~amd64" KEYWORDS="~amd64"
IUSE="ocamlopt" IUSE="ocamlopt test"
RDEPEND="" RDEPEND=""
DEPEND="${RDEPEND}" DEPEND="
${RDEPEND}
test? (
dev-ml/alcotest
dev-ml/fmt
)
"
RESTRICT="!test? ( test )"