diff options
author | sternenseemann <git@lukasepple.de> | 2020-04-23 18:23:25 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-04-25 14:50:57 +0200 |
commit | b5f9eb06b5a2e6513944283ecef97be1d4c92509 (patch) | |
tree | 8b8a5a03c066559a0cda9556307dadf52f72a1fb /pkgs/top-level/ocaml-packages.nix | |
parent | bc675971dae581ec653fa6ce0b238729ccb7aa80 (diff) | |
download | nixpkgs-b5f9eb06b5a2e6513944283ecef97be1d4c92509.tar nixpkgs-b5f9eb06b5a2e6513944283ecef97be1d4c92509.tar.gz nixpkgs-b5f9eb06b5a2e6513944283ecef97be1d4c92509.tar.bz2 nixpkgs-b5f9eb06b5a2e6513944283ecef97be1d4c92509.tar.lz nixpkgs-b5f9eb06b5a2e6513944283ecef97be1d4c92509.tar.xz nixpkgs-b5f9eb06b5a2e6513944283ecef97be1d4c92509.tar.zst nixpkgs-b5f9eb06b5a2e6513944283ecef97be1d4c92509.zip |
ocamlPackages.mirage-time(-unix): init at 2.0.1
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
-rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 3cbb0a7df33..cef4e913026 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -562,6 +562,10 @@ let mirage-stack = callPackage ../development/ocaml-modules/mirage-stack { }; + mirage-time = callPackage ../development/ocaml-modules/mirage-time { }; + + mirage-time-unix = callPackage ../development/ocaml-modules/mirage-time/unix.nix { }; + mlgmp = callPackage ../development/ocaml-modules/mlgmp { }; mlgmpidl = callPackage ../development/ocaml-modules/mlgmpidl { }; |