diff options
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/mirage-clock/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/ocaml-modules/mirage-clock/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/mirage-clock/default.nix b/nixpkgs/pkgs/development/ocaml-modules/mirage-clock/default.nix index 77d6b4ef7788..de8cfd311e54 100644 --- a/nixpkgs/pkgs/development/ocaml-modules/mirage-clock/default.nix +++ b/nixpkgs/pkgs/development/ocaml-modules/mirage-clock/default.nix @@ -4,6 +4,10 @@ buildDunePackage rec { pname = "mirage-clock"; version = "3.1.0"; + useDune2 = true; + + minimumOCamlVersion = "4.06"; + src = fetchurl { url = "https://github.com/mirage/mirage-clock/releases/download/v${version}/mirage-clock-v${version}.tbz"; sha256 = "0cqa07aqkamw0dvis1fl46brvk81zvb92iy5076ik62gv9n5a0mn"; |