mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-21 13:10:33 +00:00
ocamlPackages.hashcons: init at 1.4
This commit is contained in:
parent
f470e6ddd9
commit
8b247a73bd
23
pkgs/development/ocaml-modules/hashcons/default.nix
Normal file
23
pkgs/development/ocaml-modules/hashcons/default.nix
Normal file
|
@ -0,0 +1,23 @@
|
|||
{ lib, fetchFromGitHub, buildDunePackage }:
|
||||
|
||||
buildDunePackage rec {
|
||||
pname = "hashcons";
|
||||
version = "1.4";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "backtracking";
|
||||
repo = "ocaml-${pname}";
|
||||
rev = "d733325eeb55878bed285120c2c088daf78f0e2b";
|
||||
sha256 = "0h4pvwj34pndaw3pajkhl710ywwinhc9pqimgllfmkl37wz2d8zq";
|
||||
};
|
||||
|
||||
useDune2 = true;
|
||||
|
||||
doCheck = true;
|
||||
|
||||
meta = {
|
||||
description = "OCaml hash-consing library";
|
||||
license = lib.licenses.lgpl21;
|
||||
maintainers = [ lib.maintainers.ulrikstrid ];
|
||||
};
|
||||
}
|
|
@ -428,6 +428,8 @@ let
|
|||
hacl-star = callPackage ../development/ocaml-modules/hacl-star { };
|
||||
hacl-star-raw = callPackage ../development/ocaml-modules/hacl-star/raw.nix { };
|
||||
|
||||
hashcons = callPackage ../development/ocaml-modules/hashcons { };
|
||||
|
||||
herelib = callPackage ../development/ocaml-modules/herelib { };
|
||||
|
||||
hidapi = callPackage ../development/ocaml-modules/hidapi { };
|
||||
|
|
Loading…
Reference in a new issue