diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-07-31 06:32:41 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-08-10 18:49:13 +0200 |
commit | 191539342a8ea9c3dba5b66972b3907abd099d28 (patch) | |
tree | adc974f98e4af858122410ccd180e04b98d168f0 /pkgs/top-level/ocaml-packages.nix | |
parent | 4d2389b927696ef8da4ef76b03f2d306faf87929 (diff) |
ocamlPackages.mirage-clock: 3.1.0 → 4.2.0
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
-rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index de2acdd372dae..00c893af944b9 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1000,7 +1000,7 @@ let mirage-clock = callPackage ../development/ocaml-modules/mirage-clock { }; - mirage-clock-freestanding = callPackage ../development/ocaml-modules/mirage-clock/freestanding.nix { }; + mirage-clock-solo5 = callPackage ../development/ocaml-modules/mirage-clock/solo5.nix { }; mirage-clock-unix = callPackage ../development/ocaml-modules/mirage-clock/unix.nix { }; |