diff options
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/mirage-time/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/ocaml-modules/mirage-time/default.nix | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/mirage-time/default.nix b/nixpkgs/pkgs/development/ocaml-modules/mirage-time/default.nix new file mode 100644 index 000000000000..6b4b5f9ac721 --- /dev/null +++ b/nixpkgs/pkgs/development/ocaml-modules/mirage-time/default.nix @@ -0,0 +1,24 @@ +{ lib, buildDunePackage, fetchurl, lwt }: + +buildDunePackage rec { + minimalOCamlVersion = "4.08"; + + pname = "mirage-time"; + version = "3.0.0"; + + duneVersion = "3"; + + src = fetchurl { + url = "https://github.com/mirage/mirage-time/releases/download/v${version}/mirage-time-v${version}.tbz"; + hash = "sha256-DUCUm1jix+i3YszIzgZjRQRiM8jJXQ49F6JC/yicvXw="; + }; + + propagatedBuildInputs = [ lwt ]; + + meta = with lib; { + homepage = "https://github.com/mirage/mirage-time"; + description = "Time operations for MirageOS"; + license = licenses.isc; + maintainers = with maintainers; [ sternenseemann ]; + }; +} |