coq: add ocamlPackages in passthru

We might need OCaml packages that are not the one Coq is depending on but they still need to come from the same package set (same OCaml version).
6 years ago · fa12476755
parent 7dea8e403e
commit fa12476755
1 changed files with 2 additions and 0 deletions
--- a/pkgs/applications/science/logic/coq/default.nix
+++ b/pkgs/applications/science/logic/coq/default.nix
@ -37,6 +37,8 @@ self = stdenv.mkDerivation {

  passthru = {
    inherit coq-version;
+    inherit ocamlPackages;
+    # For compatibility
    inherit (ocamlPackages) ocaml camlp5 findlib num;
    emacsBufferSetup = pkgs: ''
      ; Propagate coq paths to children