diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-08-24 07:02:17 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-08-31 06:55:26 +0000 |
| commit | e9edc7537a86fb1ab7b4c9637b414ed2ea70b8a4 (patch) | |
| tree | 63fdfafaef4e427f0533d71d5ec11cc559b383b0 /pkgs/development/ocaml-modules/gmap | |
| parent | d33df05f5073f370da22c737c84fc6a44a89a02e (diff) | |
| download | nixpkgs-e9edc7537a86fb1ab7b4c9637b414ed2ea70b8a4.tar nixpkgs-e9edc7537a86fb1ab7b4c9637b414ed2ea70b8a4.tar.gz nixpkgs-e9edc7537a86fb1ab7b4c9637b414ed2ea70b8a4.tar.bz2 nixpkgs-e9edc7537a86fb1ab7b4c9637b414ed2ea70b8a4.tar.lz nixpkgs-e9edc7537a86fb1ab7b4c9637b414ed2ea70b8a4.tar.xz nixpkgs-e9edc7537a86fb1ab7b4c9637b414ed2ea70b8a4.tar.zst nixpkgs-e9edc7537a86fb1ab7b4c9637b414ed2ea70b8a4.zip | |
ocamlPackages.gmap: init at 0.3.0
Diffstat (limited to 'pkgs/development/ocaml-modules/gmap')
| -rw-r--r-- | pkgs/development/ocaml-modules/gmap/default.nix | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/gmap/default.nix b/pkgs/development/ocaml-modules/gmap/default.nix new file mode 100644 index 00000000000..2585dfcaa96 --- /dev/null +++ b/pkgs/development/ocaml-modules/gmap/default.nix @@ -0,0 +1,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 ]; + }; +} |