diff options
author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2020-12-29 23:43:18 +0100 |
---|---|---|
committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2020-12-29 23:50:37 +0100 |
commit | 2446dfa5fc573db9fc6f66f801e2c0ce19fa5173 (patch) | |
tree | ead18a6bd0f5143990b88ff003c19d997616fc19 /pkgs/development/ocaml-modules/mirage-random-test | |
parent | 9a56ba878108b06c63fb41adbd14ecf2b93561fb (diff) | |
download | nixpkgs-2446dfa5fc573db9fc6f66f801e2c0ce19fa5173.tar nixpkgs-2446dfa5fc573db9fc6f66f801e2c0ce19fa5173.tar.gz nixpkgs-2446dfa5fc573db9fc6f66f801e2c0ce19fa5173.tar.bz2 nixpkgs-2446dfa5fc573db9fc6f66f801e2c0ce19fa5173.tar.lz nixpkgs-2446dfa5fc573db9fc6f66f801e2c0ce19fa5173.tar.xz nixpkgs-2446dfa5fc573db9fc6f66f801e2c0ce19fa5173.tar.zst nixpkgs-2446dfa5fc573db9fc6f66f801e2c0ce19fa5173.zip |
ocamlPackages.mirage-random-test: init at 0.1.0
Diffstat (limited to 'pkgs/development/ocaml-modules/mirage-random-test')
-rw-r--r-- | pkgs/development/ocaml-modules/mirage-random-test/default.nix | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/mirage-random-test/default.nix b/pkgs/development/ocaml-modules/mirage-random-test/default.nix new file mode 100644 index 00000000000..81d75db7725 --- /dev/null +++ b/pkgs/development/ocaml-modules/mirage-random-test/default.nix @@ -0,0 +1,30 @@ +{ lib, buildDunePackage, fetchurl +, cstruct, mirage-random +}: + +buildDunePackage rec { + pname = "mirage-random-test"; + version = "0.1.0"; + + minimumOCamlVersion = "4.06"; + + # due to cstruct + useDune2 = true; + + src = fetchurl { + url = "https://github.com/mirage/${pname}/releases/download/v${version}/${pname}-v${version}.tbz"; + sha256 = "1jmjyb9a4v7l0xxgdwpr9zshzr8xk3hybra6y2dp51anbwk8kv46"; + }; + + propagatedBuildInputs = [ + cstruct + mirage-random + ]; + + meta = with lib; { + description = "Stub random device implementation for testing"; + homepage = "https://github.com/mirage/mirage-random"; + license = licenses.isc; + maintainers = [ maintainers.sternenseemann ]; + }; +} |