blob: 2585dfcaa9683c9e79114221628633da5fda05c3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
{ lib, buildDunePackage, fetchurl, alcotest }:
buildDunePackage rec {
pname = "gmap";
version = "0.3.0";
src = fetchurl {
url = "https://github.com/hannesm/gmap/releases/download/${version}/gmap-${version}.tbz";
sha256 = "073wa0lrb0jj706j87cwzf1a8d1ff14100mnrjs8z3xc4ri9xp84";
};
minimumOCamlVersion = "4.03";
buildInputs = [ alcotest ];
doCheck = true;
meta = {
description = "Heterogenous maps over a GADT";
homepage = "https://github.com/hannesm/gmap";
license = lib.licenses.isc;
maintainers = [ lib.maintainers.vbgl ];
};
}
|