public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocamlPackages.mirage-random: init at 2.0.0

Browse Source
This commit is contained in:
Vincent Laporte 2020-04-08 08:32:30 +02:00 committed by Vincent Laporte
parent 66ffbf57c3
commit 32feaeab83
2 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkgs/development/ocaml-modules/mirage-random/default.nix Normal file
View File

@ -0,0 +1,20 @@
{ lib, buildDunePackage, fetchurl, cstruct }:
buildDunePackage rec {
pname = "mirage-random";
version = "2.0.0";
src = fetchurl {
url = "https://github.com/mirage/mirage-random/releases/download/v${version}/mirage-random-v${version}.tbz";
sha256 = "0qj41d5smkkkbjwsnz71bhhj94d2cwv53rf3j4rhky0pqbkidnv1";
};
propagatedBuildInputs = [ cstruct ];
meta = {
description = "Random signatures for MirageOS";
homepage = "https://github.com/mirage/mirage-random";
license = lib.licenses.isc;
maintainers = [ lib.maintainers.vbgl ];
};
}

2
pkgs/top-level/ocaml-packages.nix
View File

@ -542,6 +542,8 @@ let
mirage-protocols = callPackage ../development/ocaml-modules/mirage-protocols { }; mirage-protocols = callPackage ../development/ocaml-modules/mirage-protocols { };
mirage-random = callPackage ../development/ocaml-modules/mirage-random { };
mlgmp = callPackage ../development/ocaml-modules/mlgmp { }; mlgmp = callPackage ../development/ocaml-modules/mlgmp { };
mlgmpidl = callPackage ../development/ocaml-modules/mlgmpidl { }; mlgmpidl = callPackage ../development/ocaml-modules/mlgmpidl { };