From 798a87159b00d79b0931ff65d7ce3ae7366f7574 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Wed, 25 Jan 2017 07:03:24 +0000
Subject: [PATCH] Coq: propagates the findlib package

So that Coq libraries that need it can easyly use it
---
 pkgs/applications/science/logic/coq/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix
index 36f6b76a477..bc9ba049cd2 100644
--- a/pkgs/applications/science/logic/coq/default.nix
+++ b/pkgs/applications/science/logic/coq/default.nix
@@ -34,6 +34,9 @@ stdenv.mkDerivation {
   inherit coq-version;
   inherit camlp5;
   inherit (ocamlPackages) ocaml;
+  passthru = {
+    inherit (ocamlPackages) findlib;
+  };
 
   src = fetchurl {
     url = "http://coq.inria.fr/distrib/V${version}/files/coq-${version}.tar.gz";