From fa1247675544430e97aa0499ad5073b98cb31817 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Wed, 17 Oct 2018 13:26:43 +0200
Subject: 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).
---
 pkgs/applications/science/logic/coq/default.nix | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'pkgs/applications/science/logic')

diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix
index 23f1ff85edf0..040d722f9410 100644
--- 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
-- 
cgit 1.4.1