diff options
author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-01-15 10:54:17 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-01-18 10:32:02 +0100 |
commit | 2b014ef903e62145157f3f0a15bd311a40ce7ab6 (patch) | |
tree | 7f2926c23c25f70693a24ba2fb275e6f6ee48b53 /pkgs/top-level | |
parent | 3bdf95ceb5660273a01ed2e5be2676487f7e820e (diff) |
ocamlPackages.mimic: init at 0.0.1
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index e840953b4b6f..97650eca2c6e 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -580,6 +580,8 @@ let mezzo = callPackage ../development/compilers/mezzo { }; + mimic = callPackage ../development/ocaml-modules/mimic { }; + minisat = callPackage ../development/ocaml-modules/minisat { }; mirage = callPackage ../development/ocaml-modules/mirage { }; |